this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "Traced Atomics"
3maintainer: ["Sadiq Jaffer"]
4authors: ["Sadiq Jaffer"]
5license: "ISC"
6homepage: "https://github.com/ocaml-multicore/dscheck"
7bug-reports: "https://github.com/ocaml-multicore/dscheck/issues"
8depends: [
9 "ocaml" {>= "5.0.0"}
10 "dune" {>= "2.9"}
11 "containers"
12 "tsort"
13 "oseq"
14 "alcotest" {>= "1.6.0" & with-test}
15 "cmdliner"
16 "odoc" {with-doc}
17]
18build: [
19 ["dune" "subst"] {dev}
20 [
21 "dune"
22 "build"
23 "-p"
24 name
25 "-j"
26 jobs
27 "--promote-install-files=false"
28 "@install"
29 "@runtest" {with-test}
30 "@doc" {with-doc}
31 ]
32 ["dune" "install" "-p" name "--create-install-files" name]
33]
34dev-repo: "git+https://github.com/ocaml-multicore/dscheck.git"
35url {
36 src:
37 "https://github.com/ocaml-multicore/dscheck/releases/download/0.2.0/dscheck-0.2.0.tbz"
38 checksum: [
39 "sha256=42091b9c3dc1d6538d83d53ad01336c5656022dea964d98e9b190acbe5091fd1"
40 "sha512=040f04a2a25bce42b7e3840914adc7486f13257cb339a1a29ae9bfeef63873aeef3ede245e95d0526472ebfc3af0b747132289c1296791606aef03ad245d211c"
41 ]
42}
43x-commit-hash: "4d66de93caec94438476d938554b99452bbf488b"