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 "oseq"
13 "odoc" {with-doc}
14]
15build: [
16 ["dune" "subst"] {dev}
17 [
18 "dune"
19 "build"
20 "-p"
21 name
22 "-j"
23 jobs
24 "--promote-install-files=false"
25 "@install"
26 "@runtest" {with-test}
27 "@doc" {with-doc}
28 ]
29 ["dune" "install" "-p" name "--create-install-files" name]
30]
31dev-repo: "git+https://github.com/ocaml-multicore/dscheck.git"
32url {
33 src:
34 "https://github.com/ocaml-multicore/dscheck/releases/download/0.1.0/dscheck-0.1.0.tbz"
35 checksum: [
36 "sha256=ce8a2e15925c529ef5c9e96e55bd712d420c705bfdf4ea647104021e43d329c2"
37 "sha512=a8c5bf477190b88d4c063efd84392af88fdbd484c4da9affbceae79d96c75ebf15d0623fb8b79b3316d4d822e262ea22f2b949c619c17b6e500442500e7c9911"
38 ]
39}
40x-commit-hash: "02071f5d280407522f44afae1f213616eefb9a8d"