tobias/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-11-10 09:43:30 +01:00
Code Issues Packages Projects Releases Wiki Activity

coqPackages.QuickChick: 2.0.4 -> 2.1.1

Browse source
This commit is contained in:
George Miao 2025-10-28 12:54:54 -04:00
parent cc764b81ac
commit 28b9aed427
No known key found for this signature in database
GPG key ID: 5AD123FEECBE28BB
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
pkgs/development/coq-modules/QuickChick/default.nix
View file

@ -28,7 +28,7 @@ in
lib.switch lib.switch
[ coq.coq-version mathcomp-boot.version ] [ coq.coq-version mathcomp-boot.version ]
[ [
(case (lib.versions.range "8.15" "9.0") lib.pred.true "2.0.4") (case (lib.versions.range "8.15" "9.1") lib.pred.true "2.1.1")
(case (lib.versions.range "8.13" "8.17") lib.pred.true "1.6.5") (case (lib.versions.range "8.13" "8.17") lib.pred.true "1.6.5")
(case "8.13" lib.pred.true "1.5.0") (case "8.13" lib.pred.true "1.5.0")
(case "8.12" lib.pred.true "1.4.0") (case "8.12" lib.pred.true "1.4.0")
@ -41,6 +41,7 @@ in
(case "8.5" lib.pred.true "20170512") (case "8.5" lib.pred.true "20170512")
] ]
null; null;
release."2.1.1".sha256 = "sha256-tcZFpf8joEdVCgy1oKWdaM/9q3EMsF/jT+zz+kIsix8=";
release."2.0.4".sha256 = "sha256-WD8B+n8gyGctHMO+M8201Ca3Uw8zCWYsOatSNGCf0/s="; release."2.0.4".sha256 = "sha256-WD8B+n8gyGctHMO+M8201Ca3Uw8zCWYsOatSNGCf0/s=";
release."2.0.2".sha256 = "sha256-xxKkwDRjB8nUiXNhein1Ppn0DP5FZ13J90xUPAnQBbs="; release."2.0.2".sha256 = "sha256-xxKkwDRjB8nUiXNhein1Ppn0DP5FZ13J90xUPAnQBbs=";
release."2.0.1".sha256 = "sha256-gJc+9Or6tbqE00920Il4pnEvokRoiADX6CxP/Q0QZaY="; release."2.0.1".sha256 = "sha256-gJc+9Or6tbqE00920Il4pnEvokRoiADX6CxP/Q0QZaY=";