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

coqPackages.simple-io: 1.10.0 -> 1.11.0

Browse Source
This commit is contained in:
Théo Zimmermann
2026-02-03 13:26:39 +01:00
parent 5d344a0508
commit 1ab0ae23cb
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/simple-io/default.nix
+2 -1
View File
@@ -18,10 +18,11 @@
in
with lib.versions;
lib.switch coq.coq-version [
(case (range "8.17" "9.1") "1.10.0")
(case (range "8.17" "9.1") "1.11.0")
(case (range "8.11" "8.19") "1.8.0")
(case (range "8.7" "8.13") "1.3.0")
] null;
release."1.11.0".sha256 = "sha256-sgbH7eI4TPHOQ5qBvM6x7G3j8B40HSEMEzFaN1G9VEw=";
release."1.10.0".sha256 = "sha256-67cBhLvRMWLWBL7NXK1zZTQC4PtSKu9qtesU4SqKkOw=";
release."1.8.0".sha256 = "sha256-3ADNeXrBIpYRlfUW+LkLHUWV1w1HFrVc/TZISMuwvRY=";
release."1.7.0".sha256 = "sha256:1a1q9x2abx71hqvjdai3n12jxzd49mhf3nqqh3ya2ssl2lj609ci";