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

rocqPackages.mathcomp-infotheo: 0.9.7 -> 0.9.8

Browse Source
This commit is contained in:
Pierre Roux
2026-09-21 09:52:27 +02:00
parent 78d7054cdf
commit eb0ebe2f8c
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/development/rocq-modules/mathcomp-infotheo/default.nix
View File

@@ -33,6 +33,7 @@
lib.switch
[ coq.coq-version mathcomp-analysis.version ]
[
(case (range "9.1" "9.2") (isGe "1.18") "0.9.8")
(case (range "9.0" "9.1") (isGe "1.12") "0.9.7")
(case (range "8.20" "9.1") (isGe "1.12") "0.9.6")
(case (range "8.20" "8.20") (range "1.12" "1.13") "0.9.4")
@@ -48,6 +49,7 @@
(case (range "8.15" "8.16") (range "0.5.4" "0.6.5") "0.5.1")
]
null;
release."0.9.8".hash = "sha256-yo+r8RC02a8r3nDpFe5mO+q1qTrdHXKPMDxyFCf+A1k=";
release."0.9.7".hash = "sha256-cmkBh2vw02R/UivGqaEpg89LMGR/i5Q14IEZDhjFA+Y=";
release."0.9.6".hash = "sha256-7gwtqTzMMEhUDz2XdxamAqjSdST0HrbWJHQ/YTDRR5E=";
release."0.9.4".hash = "sha256-btHOBNMdXvlG2jxC04+4qmIjeyuaqtyugm2Ruj3lQr8=";