File tree Expand file tree Collapse file tree
development/ocaml-modules/qcheck Expand file tree Collapse file tree Original file line number Diff line number Diff line change 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+ }
Original file line number Diff line number Diff line change 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 { } ;
You can’t perform that action at this time.
0 commit comments