summaryrefslogtreecommitdiff
path: root/dev-ada/AdaSAT/AdaSAT-25.0.0.ebuild
AgeCommit message (Collapse)Author
4 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-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>