Directory listing for /.codesphere-internal/nix/store/4fsaxffbala42sz17sj31rn87f96770y-nixpkgs/nixpkgs/pkgs/development/ada-modules/gnatprove/

• 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