this repo has no description
Merge pull request #22525 from bartoszmodelski/release-dscheck-0.1.0
[new release] dscheck (0.1.0)
+40
+40
packages/dscheck/dscheck.0.1.0/opam
+40
packages/dscheck/dscheck.0.1.0/opam
···
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
+
"odoc" {with-doc}
14
+
]
15
+
build: [
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
+
]
31
+
dev-repo: "git+https://github.com/ocaml-multicore/dscheck.git"
32
+
url {
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
+
}
40
+
x-commit-hash: "02071f5d280407522f44afae1f213616eefb9a8d"