gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

gnat-bootstrap: gnat-bootstrap12 -> gnat-bootstrap13

Browse Source 
According to the comment on the `gnat` definition, this should have happened already.
This commit is contained in:
Emily
2025-08-22 23:01:59 +01:00
parent 10ce2b4791
commit 1101f10001
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/top-level/all-packages.nix
+1 -1
View File
@@ -5095,7 +5095,7 @@ with pkgs;
}
);
gnat-bootstrap = gnat-bootstrap12;
gnat-bootstrap = gnat-bootstrap13;
gnat-bootstrap12 = wrapCCWith (
{
cc = callPackage ../development/compilers/gnat-bootstrap { majorVersion = "12"; };