ocamlPackages.qcheck: 0.15 → 0.16
This commit is contained in:
parent
df114c2091
commit
fd45d961af
@ -3,7 +3,7 @@
|
|||||||
buildDunePackage {
|
buildDunePackage {
|
||||||
pname = "qcheck-alcotest";
|
pname = "qcheck-alcotest";
|
||||||
|
|
||||||
inherit (qcheck-core) version src;
|
inherit (qcheck-core) version useDune2 src;
|
||||||
|
|
||||||
propagatedBuildInputs = [ qcheck-core alcotest ];
|
propagatedBuildInputs = [ qcheck-core alcotest ];
|
||||||
|
|
||||||
|
@ -2,7 +2,9 @@
|
|||||||
|
|
||||||
buildDunePackage rec {
|
buildDunePackage rec {
|
||||||
pname = "qcheck-core";
|
pname = "qcheck-core";
|
||||||
version = "0.15";
|
version = "0.16";
|
||||||
|
|
||||||
|
useDune2 = true;
|
||||||
|
|
||||||
minimumOCamlVersion = "4.03";
|
minimumOCamlVersion = "4.03";
|
||||||
|
|
||||||
@ -10,7 +12,7 @@ buildDunePackage rec {
|
|||||||
owner = "c-cube";
|
owner = "c-cube";
|
||||||
repo = "qcheck";
|
repo = "qcheck";
|
||||||
rev = version;
|
rev = version;
|
||||||
sha256 = "1ywaklqm1agvxvzv7pwl8v4zlwc3ykw6l251w43f0gy9cfwqmh3j";
|
sha256 = "1s5dpqj8zvd3wr2w3fp4wb6yc57snjpxzzfv9fb6l9qgigswwjdr";
|
||||||
};
|
};
|
||||||
|
|
||||||
meta = {
|
meta = {
|
||||||
|
@ -3,7 +3,7 @@
|
|||||||
buildDunePackage {
|
buildDunePackage {
|
||||||
pname = "qcheck";
|
pname = "qcheck";
|
||||||
|
|
||||||
inherit (qcheck-ounit) version src;
|
inherit (qcheck-ounit) version useDune2 src;
|
||||||
|
|
||||||
propagatedBuildInputs = [ qcheck-ounit ];
|
propagatedBuildInputs = [ qcheck-ounit ];
|
||||||
|
|
||||||
|
@ -3,7 +3,7 @@
|
|||||||
buildDunePackage {
|
buildDunePackage {
|
||||||
pname = "qcheck-ounit";
|
pname = "qcheck-ounit";
|
||||||
|
|
||||||
inherit (qcheck-core) version src;
|
inherit (qcheck-core) version useDune2 src;
|
||||||
|
|
||||||
propagatedBuildInputs = [ qcheck-core ounit ];
|
propagatedBuildInputs = [ qcheck-core ounit ];
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user