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" {>= "4.12.0"}
10 "dune" {>= "3.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 "@install"
28 "@runtest" {with-test}
29 "@doc" {with-doc}
30 ]
31]
32dev-repo: "git+https://github.com/ocaml-multicore/dscheck.git"
33url {
34 src:
35 "https://github.com/ocaml-multicore/dscheck/releases/download/0.5.0/dscheck-0.5.0.tbz"
36 checksum: [
37 "sha256=f519b60e676f55e0a4800582be461d4138fde30994ec9918f142377d1788686d"
38 "sha512=08a4e5ac7a74dace04e1f146b23e5e270d1bc6b72d297155cf578ad3fcd6554bddc780353d9deef14334da5b98467332a57b4888b8cbf99f4b5ab814f97b53a6"
39 ]
40}
41x-commit-hash: "eabfa49a6572a2cef3745a6796da347d2e1e3579"