pyrox.dev
1{
2 lib,
3 fetchurl,
4 buildDunePackage,
5 containers,
6 oseq,
7 alcotest,
8}:
9
10buildDunePackage rec {
11 pname = "dscheck";
12 version = "0.5.0";
13
14 minimalOCamlVersion = "5.0";
15
16 src = fetchurl {
17 url = "https://github.com/ocaml-multicore/dscheck/releases/download/${version}/dscheck-${version}.tbz";
18 hash = "sha256-9Rm2DmdvVeCkgAWCvkYdQTj94wmU7JkY8UI3fReIaG0=";
19 };
20
21 propagatedBuildInputs = [
22 containers
23 oseq
24 ];
25
26 doCheck = true;
27 checkInputs = [ alcotest ];
28
29 meta = {
30 description = "Traced atomics";
31 homepage = "https://github.com/ocaml-multicore/dscheck";
32 license = lib.licenses.isc;
33 maintainers = [ lib.maintainers.vbgl ];
34 };
35}