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

coqPackages.mathcomp-word: 3.4 → 3.5

Browse Source
This commit is contained in:
Vincent Laporte
2026-07-23 16:51:13 +02:00
parent 33b11c7a18
commit c5a79bf94d
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/development/coq-modules/mathcomp-word/default.nix
+2 -1
View File
@@ -46,6 +46,7 @@ mkCoqDerivation {
releaseRev = v: "v${v}";
release."3.5".hash = "sha256-ur6XGhTUQ1XdcyC6RERYaTwyzL58mWwdihY/yemjfQg=";
release."3.4".hash = "sha256-AnyiM5B7JJZI5LR0vSi6baVIx9SibYRiho7UBg1uV5w=";
release."3.3".hash = "sha256-Zn9245fr0OhgaXjWlIO1QwSxrQYetj7qPHwZAXTdqNc=";
release."3.2".hash = "sha256-4HOFFQzKbHIq+ktjJaS5b2Qr8WL1eQ26YxF4vt1FdWM=";
@@ -72,7 +73,7 @@ mkCoqDerivation {
lib.switch
[ coq.coq-version mathcomp.version ]
[
(case (range "8.16" "9.1") (isGe "2.0") "3.4")
(case (range "8.16" "9.1") (isGe "2.0") "3.5")
(case (range "8.12" "8.20") (range "1.12" "1.19") "2.4")
]
null;
pkgs/development/coq-modules/ssprove/default.nix
-1
View File
@@ -32,7 +32,6 @@
[ coq.coq-version mathcomp-boot.version ]
[
(case (range "8.20" "9.1") (range "2.3.0" "2.5.0") "0.3.1")
(case (range "8.18" "9.1") (range "2.3.0" "2.4.0") "0.2.4")
(case (range "8.18" "8.20") (range "2.3.0" "2.3.0") "0.2.3")
(case (range "8.18" "8.20") (range "2.1.0" "2.2.0") "0.2.2")
# This is the original dependency: