Skip to content

Commit 8d27394

Browse files
committed
ocamlPackages.qcheck-core: init at 0.15
1 parent 811709f commit 8d27394

2 files changed

Lines changed: 25 additions & 0 deletions

File tree

Lines changed: 23 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,23 @@
1+
{ lib, buildDunePackage, fetchFromGitHub }:
2+
3+
buildDunePackage rec {
4+
pname = "qcheck-core";
5+
version = "0.15";
6+
7+
minimumOCamlVersion = "4.03";
8+
9+
src = fetchFromGitHub {
10+
owner = "c-cube";
11+
repo = "qcheck";
12+
rev = version;
13+
sha256 = "1ywaklqm1agvxvzv7pwl8v4zlwc3ykw6l251w43f0gy9cfwqmh3j";
14+
};
15+
16+
meta = {
17+
description = "Core qcheck library";
18+
homepage = "https://c-cube.github.io/qcheck/";
19+
license = lib.licenses.bsd2;
20+
maintainers = [ lib.maintainers.vbgl ];
21+
};
22+
23+
}

pkgs/top-level/ocaml-packages.nix

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -886,6 +886,8 @@ let
886886

887887
pycaml = callPackage ../development/ocaml-modules/pycaml { };
888888

889+
qcheck-core = callPackage ../development/ocaml-modules/qcheck/core.nix { };
890+
889891
qcheck = callPackage ../development/ocaml-modules/qcheck { };
890892

891893
qtest = callPackage ../development/ocaml-modules/qtest { };

0 commit comments

Comments
 (0)