Vladimír Čunát 8cdb0f159a

gnat13Packages.gnatprove: fixup build after gcc13 update

2025-08-03 10:29:06 +02:00

..

0001-fix-install.patch

…

0002-mute-aarch64-warnings.patch

…

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

…

default.nix

…