summaryrefslogtreecommitdiff
path: root/dev-ada/AdaSAT
AgeCommit message (Collapse)Author
5 daysdev-ada/AdaSAT: support gcc:16Alfredo Tupone
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2025-05-04dev-ada/AdaSAT: enable gcc:15Alfredo Tupone
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2025-05-04dev-ada/AdaSAT: drop 24.0.0-r2Alfredo Tupone
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2025-04-05dev-ada/AdaSAT: enable py3.13Alfredo Tupone
Closes: https://bugs.gentoo.org/952265 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2025-03-10dev-ada/AdaSAT: Stabilize 25.0.0 amd64, #951064Sam James
Signed-off-by: Sam James <sam@gentoo.org>
2025-03-10dev-ada/AdaSAT: Stabilize 25.0.0 x86, #951064Sam James
Signed-off-by: Sam James <sam@gentoo.org>
2025-01-26dev-ada/AdaSAT: fix setupAlfredo Tupone
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2025-01-24dev-ada/AdaSAT: keyword 25.0.0 for ~arm64Alfredo Tupone
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2025-01-24dev-ada/AdaSAT: add 25.0.0Alfredo Tupone
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2024-12-15dev-ada/AdaSAT: Stabilize 24.0.0-r2 x86, #944314Sam James
Signed-off-by: Sam James <sam@gentoo.org>
2024-12-15dev-ada/AdaSAT: Stabilize 24.0.0-r2 amd64, #944314Sam James
Signed-off-by: Sam James <sam@gentoo.org>
2024-12-13dev-ada/AdaSAT: use python-any-r1 for testAlfredo Tupone
Closes: https://bugs.gentoo.org/946260 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2024-12-12dev-ada/AdaSAT: add BDEPsAlfredo Tupone
Closes: https://bugs.gentoo.org/946260 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2024-03-15dev-ada/AdaSAT: keyword 24.0.0 for ~x86Alfredo Tupone
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2024-03-15dev-ada/AdaSAT: new package, add 24.0.0Alfredo Tupone
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
generated by cgit v1.2.3 (git 2.25.1) at 2025-12-08 18:29:35 +0000