pyrox.dev
lol
coqPackages_8_19.QuickChick
authored by
Pierre Roux
and committed by
Vincent Laporte
5cc532b3
9e6484a3
+1
-1
+1
-1
pkgs/development/coq-modules/QuickChick/default.nix
+1
-1
pkgs/development/coq-modules/QuickChick/default.nix
···
6
6
owner = "QuickChick";
7
7
inherit version;
8
8
defaultVersion = with lib; with versions; lib.switch [ coq.coq-version ssreflect.version ] [
9
-
{ cases = [ (range "8.15" "8.18") pred.true ]; out = "2.0.2"; }
9
+
{ cases = [ (range "8.15" "8.19") pred.true ]; out = "2.0.2"; }
10
10
{ cases = [ (range "8.13" "8.17") pred.true ]; out = "1.6.5"; }
11
11
{ cases = [ "8.13" pred.true ]; out = "1.5.0"; }
12
12
{ cases = [ "8.12" pred.true ]; out = "1.4.0"; }