coq: 8.17.1 -> 8.18.0
This commit is contained in:
parent
0de60535c9
commit
2abfae9e9b
@ -55,7 +55,7 @@ let
|
||||
"8.16.1".sha256 = "sha256-n7830+zfZeyYHEOGdUo57bH6bb2/SZs8zv8xJhV+iAc=";
|
||||
"8.17.0".sha256 = "sha256-TGwm7S6+vkeZ8cidvp8pkiAd9tk008jvvPvYgfEOXhM=";
|
||||
"8.17.1".sha256 = "sha256-x+RwkbxMg9aR0L3WSCtpIz8jwA5cJA4tXAtHMZb20y4=";
|
||||
"8.18+rc1".sha256 = "sha256-TmV0lzfzhpSnBoVyfTfVFUyBrXpUWSnyN1Le7b8IPTs=";
|
||||
"8.18.0".sha256 = "sha256-WhiBs4nzPHQ0R24xAdM49kmxSCPOxiOVMA1iiMYunz4=";
|
||||
};
|
||||
releaseRev = v: "V${v}";
|
||||
fetched = import ../../../../build-support/coq/meta-fetch/default.nix
|
||||
|
@ -15699,7 +15699,7 @@ with pkgs;
|
||||
|
||||
comby = callPackage ../development/tools/comby { };
|
||||
|
||||
inherit (coqPackages) compcert;
|
||||
inherit (coqPackages_8_17) compcert;
|
||||
|
||||
computecpp-unwrapped = callPackage ../development/compilers/computecpp { };
|
||||
computecpp = wrapCCWith rec {
|
||||
|
@ -197,7 +197,7 @@ in rec {
|
||||
coqPackages_8_16 = mkCoqPackages coq_8_16;
|
||||
coqPackages_8_17 = mkCoqPackages coq_8_17;
|
||||
coqPackages_8_18 = mkCoqPackages coq_8_18;
|
||||
coqPackages = recurseIntoAttrs coqPackages_8_17;
|
||||
coqPackages = recurseIntoAttrs coqPackages_8_18;
|
||||
coq = coqPackages.coq;
|
||||
|
||||
}
|
||||
|
Loading…
Reference in New Issue
Block a user