summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* dev-ada/gtkada: keyword 25.0.1 for ~arm64Alfredo Tupone46 hours1-1/+1
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gtkada: destabilize 25.0.1 for ~amd64, ~x86Alfredo Tupone2 days1-1/+1
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gtkada: add 25.0.1Alfredo Tupone2 days2-0/+55
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gnatsymbolize: keyword 2021-r3 for ~arm64Alfredo Tupone2 days1-1/+1
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gtkada: drop 23.0.0-r2Alfredo Tupone4 days2-55/+0
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gnatsymbolize: add gcc_14Alfredo Tupone4 days1-2/+2
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gnatcoll-db: keyword 25.0.0 for ~arm64Alfredo Tupone4 days1-1/+1
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gnatcoll-db: add 25.0.0Alfredo Tupone4 days2-0/+128
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/aws: keyword 25.1.0 for ~arm64Alfredo Tupone5 days1-1/+1
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/aws: add 25.1.0Alfredo Tupone5 days5-50/+95
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/aws: drop 22.0.0, 23.0.0-r4Alfredo Tupone5 days4-133/+3
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/libadalang-tools: add 25.0.0Alfredo Tupone6 days2-0/+89
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/libadalang-tools: drop 23.0.0-r2Alfredo Tupone6 days2-71/+0
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/templates-parser: keyword 25.0.0-r2 for ~arm64Alfredo Tupone7 days1-1/+1
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gnatdoc: keyword 25.0.0 for ~arm64Alfredo Tupone7 days1-1/+1
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gnatdoc: drop 23.0.0-r2Alfredo Tupone7 days2-46/+0
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gnatdoc: add 25.0.0Alfredo Tupone7 days5-7/+83
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/markdown: support gcc_14Alfredo Tupone7 days1-1/+1
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/libadalang: keyword 25.0.0 for ~arm64Alfredo Tupone7 days1-1/+5
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/libadalang: add 25.0.0Alfredo Tupone7 days3-1/+114
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/langkit-contrib: keyword 25.0.0 for ~arm64Alfredo Tupone7 days1-1/+1
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/langkit-contrib: new package, add 25.0.0Alfredo Tupone8 days3-0/+132
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/langkit: install adasat source tooAlfredo Tupone8 days2-19/+24
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/langkit: rm dead codeAlfredo Tupone9 days1-54/+15
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/langkit: add docAlfredo Tupone11 days1-0/+4
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/libadalang: drop 23.0.0Alfredo Tupone13 days3-110/+2
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/langkit: add 25.0.0Alfredo Tupone13 days2-0/+109
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/prettier-ada: keyword 25.0.0 for ~x86Alfredo Tupone13 days1-1/+1
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/e3-core: add dev-python/coverage rdepAlfredo Tupone13 days1-5/+7
| | | | | Closes: https://bugs.gentoo.org/948260 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/prettier-ada: keyword 25.0.0 for ~arm64Alfredo Tupone14 days1-1/+1
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/AdaSAT: fix setupAlfredo Tupone2025-01-261-0/+1
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/prettier-ada: new package, add 25.0.0Alfredo Tupone2025-01-263-0/+129
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/langkit: keyword 24.0.0-r2 for ~arm64Alfredo Tupone2025-01-251-1/+1
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gprconfig_kb: fix nm path on arm64Alfredo Tupone2025-01-252-2/+37
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/langkit: add gcc_14Alfredo Tupone2025-01-251-1/+1
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/langkit: drop 23.0.0-r3Alfredo Tupone2025-01-255-212/+2
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/AdaSAT: keyword 25.0.0 for ~arm64Alfredo Tupone2025-01-241-1/+1
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/AdaSAT: add 25.0.0Alfredo Tupone2025-01-242-0/+71
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gpr: keyword 25.0.0 for ~arm64Alfredo Tupone2025-01-181-7/+8
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gpr: drop 23.0.0 add 25.0.0Alfredo Tupone2025-01-184-124/+119
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/ada_libfswatch: add 20240709Alfredo Tupone2025-01-122-0/+56
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gnatcoll-bindings: keyword 25.0.0 for ~arm64Alfredo Tupone2025-01-111-1/+1
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gnatcoll-bindings: add 25.0.0Alfredo Tupone2025-01-112-0/+114
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gnatcoll-core: keyword 25.0.0 for ~arm64Alfredo Tupone2025-01-091-1/+3
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gnatcoll-bindings: drop 23.0.0-r2Alfredo Tupone2025-01-092-99/+0
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gnatcoll-core: add 25.0.0Alfredo Tupone2025-01-094-0/+134
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/gprconfig_kb: remove unused patchMichael Mair-Keimberger2025-01-091-138/+0
| | | | | Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Signed-off-by: Conrad Kostecki <conikost@gentoo.org>
* dev-ada/gprbuild: use python-any-r1Alfredo Tupone2025-01-071-15/+18
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/aunit: use python-any-r1Alfredo Tupone2025-01-071-17/+18
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ada/xmlada: rm unused DEPSAlfredo Tupone2025-01-071-2/+0
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>