diff --git a/pkgs/development/coq-modules/QuickChick/default.nix b/pkgs/development/coq-modules/QuickChick/default.nix index 370d9ee0f836..dbbbc1d7c438 100644 --- a/pkgs/development/coq-modules/QuickChick/default.nix +++ b/pkgs/development/coq-modules/QuickChick/default.nix @@ -28,7 +28,7 @@ in lib.switch [ 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 "8.13" lib.pred.true "1.5.0") (case "8.12" lib.pred.true "1.4.0") @@ -41,6 +41,7 @@ in (case "8.5" lib.pred.true "20170512") ] 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.2".sha256 = "sha256-xxKkwDRjB8nUiXNhein1Ppn0DP5FZ13J90xUPAnQBbs="; release."2.0.1".sha256 = "sha256-gJc+9Or6tbqE00920Il4pnEvokRoiADX6CxP/Q0QZaY=";