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

rocq-core: 9.0.0 -> 9.0.1

Browse Source
This commit is contained in:
Pierre Roux
2025-09-29 08:36:23 +02:00
parent e7221c1438
commit 1fb263dedd
4 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/applications/science/logic/coq/default.nix
+1
View File
@@ -70,6 +70,7 @@ let
"8.20.0".sha256 = "sha256-WFpZlA6CzFVAruPhWcHQI7VOBVhrGLdFzWrHW0DTSl0=";
"8.20.1".sha256 = "sha256-nRaLODPG4E3gUDzGrCK40vhl4+VhPyd+/fXFK/HC3Ig=";
"9.0.0".sha256 = "sha256-GRwYSvrJGiPD+I82gLOgotb+8Ra5xHZUJGcNwxWqZkU=";
"9.0.1".sha256 = "sha256-gRgQhFiYvGR/Z46TmTl1bgN9O32nifxQGdrzfw0WHrk=";
"9.1.0".sha256 = "sha256-+QL7I1/0BfT87n7lSaOmpHj2jJuDB4idWhAxwzvVQOE=";
};
releaseRev = v: "V${v}";
pkgs/applications/science/logic/rocq-core/default.nix
+1
View File
@@ -23,6 +23,7 @@ let
release = {
"9.0.0".sha256 = "sha256-GRwYSvrJGiPD+I82gLOgotb+8Ra5xHZUJGcNwxWqZkU=";
"9.0.1".sha256 = "sha256-gRgQhFiYvGR/Z46TmTl1bgN9O32nifxQGdrzfw0WHrk=";
"9.1.0".sha256 = "sha256-+QL7I1/0BfT87n7lSaOmpHj2jJuDB4idWhAxwzvVQOE=";
};
releaseRev = v: "V${v}";
pkgs/development/coq-modules/metacoq/default.nix
-1
View File
@@ -26,7 +26,6 @@ let
(case "8.18" "1.3.1-8.18")
(case "8.19" "1.3.3-8.19")
(case "8.20" "1.3.4-8.20")
(case "9.0" "1.3.4-9.0")
] null;
release = {
"1.0-beta2-8.11".sha256 = "sha256-I9YNk5Di6Udvq5/xpLSNflfjRyRH8fMnRzbo3uhpXNs=";
pkgs/development/coq-modules/metarocq/default.nix
+2 -1
View File
@@ -15,10 +15,11 @@ let
case = case: out: { inherit case out; };
in
lib.switch coq.coq-version [
(case "9.0" "1.4-9.0")
(case "9.0" "1.4-9.0.1")
] null;
release = {
"1.4-9.0".sha256 = "sha256-5QecDAMkvgfDPZ7/jDfnOgcE+Eb1LTAozP7nz6nkuxg=";
"1.4-9.0.1".sha256 = "sha256-zMUd2A6EG0LYK3L9ABQvS/Et4MDpSmf3Pxd9+IPNYkI=";
};
releaseRev = v: "v${v}";