nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-10-02 13:00:23 +00:00
Code Issues Packages Projects Releases Wiki Activity

[Backport release-26.05] coqPackages.mathcomp-word: 3.4 → 3.5 (#545137)

Browse Source
This commit is contained in:
Vincent Laporte
2026-07-24 09:56:25 +00:00
committed by GitHub
parent 1792d54d25 19dbe07626
commit aaf0139014
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
pkgs/development/coq-modules/mathcomp-word/default.nix
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".sha256 = "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;

1
pkgs/development/coq-modules/ssprove/default.nix
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: