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
gprbuild
xmlada