tjh.dev
1{
2 lib,
3 buildDunePackage,
4 fetchFromGitHub,
5}:
6
7buildDunePackage rec {
8 pname = "qcheck-core";
9 version = "0.25";
10
11 minimalOCamlVersion = "4.08";
12
13 src = fetchFromGitHub {
14 owner = "c-cube";
15 repo = "qcheck";
16 tag = "v${version}";
17 hash = "sha256-Z89jJ21zm89wb9m5HthnbHdnE9iXLyaH9k8S+FAWkKQ=";
18 };
19
20 meta = {
21 description = "Core qcheck library";
22 homepage = "https://c-cube.github.io/qcheck/";
23 license = lib.licenses.bsd2;
24 maintainers = [ lib.maintainers.vbgl ];
25 };
26
27}