tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 lib,
3 fetchFromGitHub,
4 buildDunePackage,
5 qcheck-core,
6}:
7
8buildDunePackage rec {
9 pname = "qcheck-multicoretests-util";
10 version = "0.11";
11
12 src = fetchFromGitHub {
13 owner = "ocaml-multicore";
14 repo = "multicoretests";
15 rev = version;
16 hash = "sha256-QABh33C1k5AAYkOa5zDIExwwJFlhgdvSuxShJt4ESM8=";
17 };
18
19 propagatedBuildInputs = [ qcheck-core ];
20
21 doCheck = true;
22
23 minimalOCamlVersion = "4.12";
24
25 meta = {
26 homepage = "https://github.com/ocaml-multicore/multicoretests";
27 description = "Utility functions for property-based testing of multicore programs";
28 license = lib.licenses.bsd2;
29 maintainers = [ lib.maintainers.vbgl ];
30 };
31}