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

coqPackages.QuickChick: disable broken versions

Browse Source
This commit is contained in:
Vincent Laporte
2026-07-29 09:12:11 +02:00
parent 44e4eed2cc
commit eb037b56fd
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/development/coq-modules/QuickChick/default.nix
View File

@@ -25,8 +25,8 @@
lib.switch
[ coq.coq-version mathcomp-boot.version ]
[
(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.20" "9.1") lib.pred.true "2.1.1")
(case (lib.versions.range "8.13" "8.16") lib.pred.true "1.6.5")
(case "8.13" lib.pred.true "1.5.0")
(case "8.12" lib.pred.true "1.4.0")
(case "8.11" lib.pred.true "1.3.2")