Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-ada
Commit message (Collapse)AuthorAgeFilesLines
* dev-ada/gnatcoll-core: change doc path to /usr/share/gnatdocAlfredo Tupone2021-06-251-0/+2
| | | | | | Closes: https://bugs.gentoo.org/797640 Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/xmlada: change doc path to /usr/share/gnatdocAlfredo Tupone2021-06-251-2/+4
| | | | | | Closes: https://bugs.gentoo.org/797643 Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gnat-suite-bin: remove 2019 version affected by CVE-2020-27619Alfredo Tupone2021-06-052-90/+0
| | | | | | Bug: https://bugs.gentoo.org/787440 Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gprbuild: drop gnat_2016Alfredo Tupone2021-06-054-303/+0
| | | | | Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/xmlada: drop gnat_2016Alfredo Tupone2021-06-053-80/+2
| | | | | Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/libgpr: drop gnat_2016Alfredo Tupone2021-06-051-1/+1
| | | | | Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gnat_util: drop gnat_2016Alfredo Tupone2021-06-051-2/+2
| | | | | Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/aunit: drop gnat_2016Alfredo Tupone2021-06-053-49/+2
| | | | | Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gnatmem: drop gnat_2016Alfredo Tupone2021-06-053-4/+4
| | | | | Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/aws: bump to 2021Alfredo Tupone2021-06-054-2/+88
| | | | | Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gtkada: bump to 2021Alfredo Tupone2021-06-045-6/+71
| | | | | Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/aws: drop support for gnat_2016Alfredo Tupone2021-06-041-2/+2
| | | | | Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/asis: remove old versionAlfredo Tupone2021-06-043-86/+0
| | | | | Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gnatcoll-bindings: bump to 2021Alfredo Tupone2021-06-044-30/+97
| | | | | Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gnatcoll-core: remove support for gnat_2016Alfredo Tupone2021-06-042-2/+2
| | | | | Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/libgpr: does not support gnat_2016Alfredo Tupone2021-06-041-1/+1
| | | | | Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gnatcoll-core: bump to 2021Alfredo Tupone2021-06-033-1/+77
| | | | | Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/libgpr: bump to 2021Alfredo Tupone2021-06-022-0/+65
| | | | | Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gnatsymbolize: remove an SRC_URIAlfredo Tupone2021-06-021-2/+0
| | | | | Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/aunit: use ADAMIRROR & IDAlfredo Tupone2021-06-021-2/+3
| | | | | Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/xmlada: use ADAMIRROR & IDAlfredo Tupone2021-06-021-2/+3
| | | | | Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gprbuild: use ADAMIRROR & IDAlfredo Tupone2021-06-021-4/+5
| | | | | Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gnatsymbolize: bump to 2021Alfredo Tupone2021-06-023-1/+37
| | | | | Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gnatmem: bump to 2021Alfredo Tupone2021-06-023-2/+53
| | | | | Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/aunit: bump to 2021Alfredo Tupone2021-06-014-8/+55
| | | | | Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/xmlada: bump to 2021Alfredo Tupone2021-05-313-1/+80
| | | | | Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gprbuild: fix gnat discoveryAlfredo Tupone2021-05-312-1/+7
| | | | | Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gprbuild: bump to 2021Alfredo Tupone2021-05-303-0/+364
| | | | | Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gtkada: version bump to 2020Alfredo Tupone2021-05-272-0/+63
| | | | | Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gtkada: enable gnat_2020, fix VariableScopeAlfredo Tupone2021-05-264-73/+12
| | | | | Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gnatsymbolize: enable gnat_2020Alfredo Tupone2021-05-222-0/+35
| | | | | Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gnatcoll-bindings: enable gnat_2020 & remove oldAlfredo Tupone2021-05-222-5/+18
| | | | | Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gnatcoll-core: enable gnat_2020, fix VariableScopeAlfredo Tupone2021-05-222-5/+79
| | | | | Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/libgpr: fix VariableScopeAlfredo Tupone2021-05-202-6/+6
| | | | | Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/xmlada: fix VariableScopeAlfredo Tupone2021-05-192-13/+1
| | | | | Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/libgpr: add require useAlfredo Tupone2021-05-142-3/+5
| | | | | | Closes: https://bugs.gentoo.org/790260 Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gprbuild: fix VariableScope for 2020 versionAlfredo Tupone2021-05-143-16/+4
| | | | | Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/libgpr: enable gnat_2020Alfredo Tupone2021-05-143-63/+7
| | | | | Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gnatcoll-core: remove old versionAlfredo Tupone2021-05-142-74/+0
| | | | | Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/xmlada: enable gnat_2020Alfredo Tupone2021-05-132-9/+14
| | | | | Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gprbuild: support gnat_2020Alfredo Tupone2021-05-123-285/+9
| | | | | Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gnat-suite-bin: add missing sys-libs/gdbm, sys-libs/ncurses-compat depsSam James2021-04-104-8/+20
| | | | | | Closes: https://bugs.gentoo.org/777363 Bug: https://bugs.gentoo.org/746701 Signed-off-by: Sam James <sam@gentoo.org>
* */*: Normalize metadata.xml filesMichał Górny2021-03-161-1/+0
| | | | | | | | | | | Normalize quoting, replace '>' with entities, replace unnecessary entities, remove trailing empty lines. Done via: find -name metadata.xml -exec xml ed -P -L -d //none {} + Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ada/langkit: Remove last-rited pkgMichał Górny2021-01-319-323/+0
| | | | | Closes: https://bugs.gentoo.org/708338 Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ada/libadalang: Remove last-rited pkgMichał Górny2021-01-318-261/+0
| | | | | Closes: https://bugs.gentoo.org/735264 Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ada/libadalang-tools: Remove last-rited pkgMichał Górny2021-01-313-48/+0
| | | | | Closes: https://bugs.gentoo.org/735264 Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ada/gps: Remove last-rited pkgMichał Górny2021-01-314-207/+0
| | | | | Closes: https://bugs.gentoo.org/708186 Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ada/gnatcoll-db: Remove last-rited pkgMichał Górny2021-01-314-160/+0
| | | | | Closes: https://bugs.gentoo.org/735262 Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ada/gnatcoll-bindings: remove old versionsAlfredo Tupone2021-01-014-174/+2
| | | | | Package-Manager: Portage-3.0.9, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gnatcoll-bindings: remove python usageAlfredo Tupone2021-01-012-0/+172
| | | | | Package-Manager: Portage-3.0.9, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>