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

coqPackages.coqprime: 8.18 → 8.20

Browse Source
This commit is contained in:
4ever2
2026-02-25 14:53:29 +01:00
parent 4440fdfc30
commit 8e903d3844
1 changed files with 5 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/development/coq-modules/coqprime/default.nix
+5
View File
@@ -14,6 +14,10 @@ mkCoqDerivation {
defaultVersion =
with lib.versions;
lib.switch coq.coq-version [
{
case = range "8.20" "9.1";
out = "8.20";
}
{
case = range "8.14" "8.20";
out = "8.18";
@@ -36,6 +40,7 @@ mkCoqDerivation {
}
] null;
release."8.20".sha256 = "sha256-bwQPgxCVm6iFRJjNplPtUJqRfr6vXPaWs7OxLNnMjs8=";
release."8.18".sha256 = "sha256-KObBEYerWhIStmq90G3vs9K5LUEOfB2SPxirwLiWQ6E=";
release."8.17".sha256 = "sha256-D878t/PijVCopRKHYqfwdNvt3arGlI8yxbK/vI6qZUY=";
release."8.15".sha256 = "sha256:1zr2q52r08na8265019pj9spcz982ivixk6cnzk6l1srn2g328gv";