Tom Hunze f1840faeb1 gnat15Packages.gnatprove: fix build on aarch64-linux ...

Co-Authored-By: sempiternal-aurora <78790545+sempiternal-aurora@users.noreply.github.com>

2026-05-24 09:47:04 +02:00

..

gnatcoll

gnatPackages.gnatcoll-core: remove redundant gnat 12 patch

2026-05-24 09:45:58 +02:00

gnatprove

gnat15Packages.gnatprove: fix build on aarch64-linux

2026-05-24 09:47:04 +02:00

gpr2

treewide: clean up 'meta = with' pattern

2025-12-10 18:09:49 +01:00

gprbuild

gnat16Packages.gprbuild{,-boot}: fix build

2026-05-22 20:42:32 +02:00

xmlada

treewide: clean up 'meta = with' pattern

2025-12-10 18:09:49 +01:00