summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/num: ocamlopt shall be passed to ocamlAlfredo Tupone44 hours1-1/+1
* dev-ml/num: changing compiler need a rebuild, add RDEPENDAlfredo Tupone2 days1-0/+2
* sci-mathematics/why3-for-spark: version bump to 2021Alfredo Tupone3 days3-0/+152
* profiles/package.mask: Mask gnat-gpl-2016 compilersAlfredo Tupone4 days1-0/+5
* eclass/ada.eclass: removing support for gnat_2016Alfredo Tupone4 days1-7/+3
* dev-ml/camlp4: use ver_cut to get dep on ocamlAlfredo Tupone5 days4-4/+4
* dev-util/flawfinder: bump to 2.0.17Alfredo Tupone10 days2-0/+36
* dev-ada/gnat-suite-bin: remove 2019 version affected by CVE-2020-27619Alfredo Tupone10 days2-90/+0
* dev-ada/gprbuild: drop gnat_2016Alfredo Tupone10 days4-303/+0
* dev-ada/xmlada: drop gnat_2016Alfredo Tupone10 days3-80/+2
* dev-ada/libgpr: drop gnat_2016Alfredo Tupone10 days1-1/+1
* dev-ada/gnat_util: drop gnat_2016Alfredo Tupone10 days1-2/+2
* dev-ada/aunit: drop gnat_2016Alfredo Tupone10 days3-49/+2
* dev-ada/gnatmem: drop gnat_2016Alfredo Tupone10 days3-4/+4
* dev-ada/aws: bump to 2021Alfredo Tupone10 days4-2/+88
* dev-ada/gtkada: bump to 2021Alfredo Tupone11 days5-6/+71
* dev-ada/aws: drop support for gnat_2016Alfredo Tupone11 days1-2/+2
* dev-ada/asis: remove old versionAlfredo Tupone11 days3-86/+0
* dev-ada/gnatcoll-bindings: bump to 2021Alfredo Tupone11 days4-30/+97
* dev-ada/gnatcoll-core: remove support for gnat_2016Alfredo Tupone11 days2-2/+2
* dev-ada/libgpr: does not support gnat_2016Alfredo Tupone11 days1-1/+1
* dev-ada/gnatcoll-core: bump to 2021Alfredo Tupone12 days3-1/+77
* dev-ada/libgpr: bump to 2021Alfredo Tupone13 days2-0/+65
* dev-ada/gnatsymbolize: remove an SRC_URIAlfredo Tupone13 days1-2/+0
* dev-ada/aunit: use ADAMIRROR & IDAlfredo Tupone13 days1-2/+3
* dev-ada/xmlada: use ADAMIRROR & IDAlfredo Tupone13 days1-2/+3
* dev-ada/gprbuild: use ADAMIRROR & IDAlfredo Tupone13 days1-4/+5
* dev-ada/gnatsymbolize: bump to 2021Alfredo Tupone13 days3-1/+37
* dev-ada/gnatmem: bump to 2021Alfredo Tupone13 days3-2/+53
* dev-ada/aunit: bump to 2021Alfredo Tupone14 days4-8/+55
* dev-ada/xmlada: bump to 2021Alfredo Tupone2021-05-313-1/+80
* dev-ada/gprbuild: fix gnat discoveryAlfredo Tupone2021-05-312-1/+7
* dev-ada/gprbuild: bump to 2021Alfredo Tupone2021-05-303-0/+364
* ada.eclass: SLOT has changed for gcc-10 and so for gnat-gpl-2021Alfredo Tupone2021-05-301-1/+9
* dev-lang/gnat-gpl: Change uri for bootstrapAlfredo Tupone2021-05-301-9/+10
* package.mask: Last rite <net-mail/courier-imap-5Alfredo Tupone2021-05-291-0/+5
* www-apps/drupal: bump versionsAlfredo Tupone2021-05-295-4/+4
* profiles/desc/ada_target.desc: add gnat_2021Alfredo Tupone2021-05-291-0/+1
* eclass: ada.eclass add gnat_2021Alfredo Tupone2021-05-291-3/+6
* dev-lang/gnat-gpl: version bump to 2021Alfredo Tupone2021-05-293-0/+177
* net-mail/courier-imap: OutdatedBlockerAlfredo Tupone2021-05-286-511/+0
* dev-ada/gtkada: version bump to 2020Alfredo Tupone2021-05-272-0/+63
* sci-mathematics/cvc4: version bump to 1.8Alfredo Tupone2021-05-273-0/+98
* dev-ada/gtkada: enable gnat_2020, fix VariableScopeAlfredo Tupone2021-05-264-73/+12
* dev-ml/labltk: ml maintains itAlfredo Tupone2021-05-251-1/+4
* dev-tcltk/tclpython: enable python 3.9Alfredo Tupone2021-05-231-1/+1
* dev-tcltk/snack: enable python 3.9Alfredo Tupone2021-05-231-1/+1
* dev-util/flawfinder: enable python 3.9Alfredo Tupone2021-05-231-1/+1
* dev-ada/gnatsymbolize: enable gnat_2020Alfredo Tupone2021-05-222-0/+35
* dev-ada/gnatcoll-bindings: enable gnat_2020 & remove oldAlfredo Tupone2021-05-222-5/+18