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.4.0/dscheck-0.4.0.tbz"
36 checksum: [
37 "sha256=596a9ad8ed72ee4ae921cc46eca2e9ae7f52210a161920f7960a572d9f4ff640"
38 "sha512=be430639f26e88cebb6aededdec9e44f129ff7f127b8a884240cf1410fc216cd95cc8fb17d5ef68b410fc262287568ea5d7197c0443e10ab862aae1a058831e0"
39 ]
40}
41x-commit-hash: "049a7d15e7584a60975e1da477baf128e5ac66e5"