File tree Expand file tree Collapse file tree 1 file changed +41
-0
lines changed
packages/dscheck/dscheck.0.1.1 Expand file tree Collapse file tree 1 file changed +41
-0
lines changed Original file line number Diff line number Diff line change 1+ opam-version: "2.0"
2+ synopsis: "Traced Atomics"
3+ maintainer: ["Sadiq Jaffer"]
4+ authors: ["Sadiq Jaffer"]
5+ license: "ISC"
6+ homepage: "https://github.com/ocaml-multicore/dscheck"
7+ bug-reports: "https://github.com/ocaml-multicore/dscheck/issues"
8+ depends: [
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+ ]
16+ build: [
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+ ]
32+ dev-repo: "git+https://github.com/ocaml-multicore/dscheck.git"
33+ url {
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+ }
41+ x-commit-hash: "8a518dd8da9b542e0d60d93e6065c68889cb90ac"
You can’t perform that action at this time.
0 commit comments