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

coqPackages.smtcoq: SMTCoq-2.2+8.19 -> SMTCoq-2.3+8.20

Browse Source
This commit is contained in:
Pierre Roux
2026-07-16 11:29:55 +02:00
parent f771f20b23
commit ccfdda5636
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/development/coq-modules/smtcoq/default.nix
+2
View File
@@ -25,6 +25,7 @@ mkCoqDerivation {
pname = "smtcoq";
owner = "smtcoq";
release."SMTCoq-2.3+8.20".hash = "sha256-ScWtdwSpFBf/PryPuvI/SkhgqWyYhcX3FCOqoXNho7Q=";
release."SMTCoq-2.2+8.19".hash = "sha256-9Wv8AXRRyOHG/cjA/V9tSK55R/bofDMLTkDpuwYWkks=";
release."SMTCoq-2.2+8.18".hash = "sha256-1iJAruI5Qn9nTZcUDjk8t/1Q+eFkYLOe9Ee0DmK03w8=";
release."SMTCoq-2.2+8.17".hash = "sha256-kaodsyVUl1+QQagzoBTIjxbdD4X3IaaH0x2AsVUL+Z0=";
@@ -48,6 +49,7 @@ mkCoqDerivation {
in
with lib.versions;
lib.switch coq.coq-version [
(case (isEq "8.20") "SMTCoq-2.3+${coq.coq-version}")
(case (range "8.13" "8.19") "SMTCoq-2.2+${coq.coq-version}")
] null;