this repo has no description
Merge pull request #26195 from lyrm/release-dscheck-0.5.0
[new release] dscheck (0.5.0)
authored by
Marcello Seri
and committed by
GitHub
cd68f78b
bc51acf4
+41
+41
packages/dscheck/dscheck.0.5.0/opam
+41
packages/dscheck/dscheck.0.5.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" {>= "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
+
]
18
+
build: [
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
+
]
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.5.0/dscheck-0.5.0.tbz"
36
+
checksum: [
37
+
"sha256=f519b60e676f55e0a4800582be461d4138fde30994ec9918f142377d1788686d"
38
+
"sha512=08a4e5ac7a74dace04e1f146b23e5e270d1bc6b72d297155cf578ad3fcd6554bddc780353d9deef14334da5b98467332a57b4888b8cbf99f4b5ab814f97b53a6"
39
+
]
40
+
}
41
+
x-commit-hash: "eabfa49a6572a2cef3745a6796da347d2e1e3579"