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.3.0/dscheck-0.3.0.tbz"
38 checksum: [
39 "sha256=4d0568f976f6749fff2f003b5586efccb6fd0c51926aae61d9f1a75c63d3de9d"
40 "sha512=527c1f9bcd55b9277b311bd9034b6dc3a8147eaf87e57dc4c4d7b06ababbe9c095bcb52021348b59d933bb1fbc9c2c1f0caaaa4ce7064fe87d03239bdafc0048"
41 ]
42}
43x-commit-hash: "ef68b1f4446dd3d5e5c3ff14196e5eac83a86196"