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

coqPackages.metarocq: 1.4 -> 1.4.1 (#478205)

Browse Source
This commit is contained in:
Vincent Laporte
2026-01-09 13:32:31 +00:00
committed by GitHub
parent ecbf28438d 26d88d2e95
commit c651f84d05
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/development/coq-modules/metarocq/default.nix
+2 -1
View File
@@ -15,13 +15,14 @@ let
case = case: out: { inherit case out; };
in
lib.switch coq.coq-version [
(case "9.1" "1.4-9.1")
(case "9.1" "1.4.1-9.1")
(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=";
"1.4-9.1".sha256 = "sha256-v6jFvUavIzyb/e6ytAaZjxQLFM9uW9TDUB77yRO74eE=";
"1.4.1-9.1".sha256 = "sha256-tzoAWX74lg7pArGVP11QBvDRKMvmGxXvrf3+1E3Y4DI=";
};
releaseRev = v: "v${v}";