ada/spark2014
0
0
Fork 0
mirror of https://github.com/AdaCore/spark2014.git synced 2026-02-12 12:39:11 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
26.0
spark2014/analyzer
History
Johannes Kanig 6360c33a46 gnatsas annotations and fix
2025-07-15 07:29:13 +00:00
..
gnatprove.sar
gnatsas annotations and fix
2025-07-15 07:29:13 +00:00