ocamlPackages.qcheck-core: init at 0.15
This commit is contained in:
parent
811709ff94
commit
8d27394e25
23
pkgs/development/ocaml-modules/qcheck/core.nix
Normal file
23
pkgs/development/ocaml-modules/qcheck/core.nix
Normal file
@ -0,0 +1,23 @@
|
|||||||
|
{ lib, buildDunePackage, fetchFromGitHub }:
|
||||||
|
|
||||||
|
buildDunePackage rec {
|
||||||
|
pname = "qcheck-core";
|
||||||
|
version = "0.15";
|
||||||
|
|
||||||
|
minimumOCamlVersion = "4.03";
|
||||||
|
|
||||||
|
src = fetchFromGitHub {
|
||||||
|
owner = "c-cube";
|
||||||
|
repo = "qcheck";
|
||||||
|
rev = version;
|
||||||
|
sha256 = "1ywaklqm1agvxvzv7pwl8v4zlwc3ykw6l251w43f0gy9cfwqmh3j";
|
||||||
|
};
|
||||||
|
|
||||||
|
meta = {
|
||||||
|
description = "Core qcheck library";
|
||||||
|
homepage = "https://c-cube.github.io/qcheck/";
|
||||||
|
license = lib.licenses.bsd2;
|
||||||
|
maintainers = [ lib.maintainers.vbgl ];
|
||||||
|
};
|
||||||
|
|
||||||
|
}
|
@ -886,6 +886,8 @@ let
|
|||||||
|
|
||||||
pycaml = callPackage ../development/ocaml-modules/pycaml { };
|
pycaml = callPackage ../development/ocaml-modules/pycaml { };
|
||||||
|
|
||||||
|
qcheck-core = callPackage ../development/ocaml-modules/qcheck/core.nix { };
|
||||||
|
|
||||||
qcheck = callPackage ../development/ocaml-modules/qcheck { };
|
qcheck = callPackage ../development/ocaml-modules/qcheck { };
|
||||||
|
|
||||||
qtest = callPackage ../development/ocaml-modules/qtest { };
|
qtest = callPackage ../development/ocaml-modules/qtest { };
|
||||||
|
Loading…
x
Reference in New Issue
Block a user