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

..

0001-fix-install-fsf-14.patch

…

0001-fix-install-fsf-15.patch

…

0002-mute-aarch64-warnings.patch

…

0003-Adjust-after-category-change-for-N_Formal_Package_De.patch

…

default.nix

gnat15Packages.gnatprove: fix build on aarch64-linux

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