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