pyrox.dev
coqPackages_8_13.QuickChick: init at 1.5.0
authored by Vincent Laporte and committed by Vincent Laporte 276cb2ad de959006
+2
pkgs/development/coq-modules/QuickChick/default.nix
+2
pkgs/development/coq-modules/QuickChick/default.nix
···
5
pname = "QuickChick";
6
owner = "QuickChick";
7
defaultVersion = with versions; switch [ coq.coq-version ssreflect.version ] [
8
{ cases = [ "8.12" pred.true ]; out = "1.4.0"; }
9
{ cases = [ "8.11" pred.true ]; out = "1.3.2"; }
10
{ cases = [ "8.10" pred.true ]; out = "1.2.1"; }
···
14
{ cases = [ "8.6" pred.true ]; out = "20171102"; }
15
{ cases = [ "8.5" pred.true ]; out = "20170512"; }
16
] null;
17
release."1.4.0".sha256 = "068p48pm5yxjc3yv8qwzp25bp9kddvxj81l31mjkyx3sdrsw3kyc";
18
release."1.3.2".sha256 = "0lciwaqv288dh2f13xk2x0lrn6zyrkqy6g4yy927wwzag2gklfrs";
19
release."1.2.1".sha256 = "17vz88xjzxh3q7hs6hnndw61r3hdfawxp5awqpgfaxx4w6ni8z46";
···
5
pname = "QuickChick";
6
owner = "QuickChick";
7
defaultVersion = with versions; switch [ coq.coq-version ssreflect.version ] [
8
+
{ cases = [ "8.13" pred.true ]; out = "1.5.0"; }
9
{ cases = [ "8.12" pred.true ]; out = "1.4.0"; }
10
{ cases = [ "8.11" pred.true ]; out = "1.3.2"; }
11
{ cases = [ "8.10" pred.true ]; out = "1.2.1"; }
···
15
{ cases = [ "8.6" pred.true ]; out = "20171102"; }
16
{ cases = [ "8.5" pred.true ]; out = "20170512"; }
17
] null;
18
+
release."1.5.0".sha256 = "1lq8x86vd3vqqh2yq6hvyagpnhfq5wmk5pg2z0xq7b7dcw7hyfkw";
19
release."1.4.0".sha256 = "068p48pm5yxjc3yv8qwzp25bp9kddvxj81l31mjkyx3sdrsw3kyc";
20
release."1.3.2".sha256 = "0lciwaqv288dh2f13xk2x0lrn6zyrkqy6g4yy927wwzag2gklfrs";
21
release."1.2.1".sha256 = "17vz88xjzxh3q7hs6hnndw61r3hdfawxp5awqpgfaxx4w6ni8z46";