sternenseemann 92dd419120 gnatPackages.gnatprove: typo fix		2024-10-25 23:03:58 +02:00
..
gnatcoll	treewide: replace stdenv.is with stdenv.hostPlatform.is	2024-09-25 00:04:37 +03:00
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	treewide: replace stdenv.is with stdenv.hostPlatform.is	2024-09-25 00:04:37 +03:00
xmlada