talexander/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Releases Activity

gnat13Packages.gnatprove: fixup build after gcc13 update

Browse Source
This commit is contained in:
Vladimír Čunát 2025-08-03 10:29:06 +02:00
parent 02eb6d0571
commit 8cdb0f159a
No known key found for this signature in database
GPG Key ID: E747DF1F9575A3AA
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/development/ada-modules/gnatprove/default.nix
View File

@ -52,6 +52,10 @@ let
hash = "sha256-mZWP9yF1O4knCiXx8CqolnS+93bM+hTQy40cd0HZmwI="; hash = "sha256-mZWP9yF1O4knCiXx8CqolnS+93bM+hTQy40cd0HZmwI=";
}; };
commit_date = "2023-01-05"; commit_date = "2023-01-05";
patches = [
# Changes to the GNAT frontend: https://github.com/AdaCore/spark2014/issues/58
./0003-Adjust-after-category-change-for-N_Formal_Package_De.patch
];
}; };
"14" = { "14" = {
src = fetchSpark2014 { src = fetchSpark2014 {