sternenseemann 92dd419120 gnatPackages.gnatprove: typo fix		2024-10-25 23:03:58 +02:00
..
gnatcoll
gnatprove	gnatPackages.gnatprove: typo fix	2024-10-25 23:03:58 +02:00
gpr2	gnatPackages.gpr2: init at 24.0.0	2024-10-25 23:03:58 +02:00
gprbuild
xmlada