this repo has no description
Merge pull request #26605 from koonwen/release-obatcher-v1.1
[new release] obatcher (1.1)
authored by
Marcello Seri
and committed by
GitHub
74daae45
f9b80af1
+46
+46
packages/obatcher/obatcher.1.1/opam
+46
packages/obatcher/obatcher.1.1/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "A Framework for building Batched Concurrent Data Structures"
3
+
maintainer: ["koonwen@gmail.com"]
4
+
authors: ["Lee Koon Wen" "Kiran Gopinathan" "Arthur Wendling"]
5
+
license: "ISC"
6
+
homepage: "https://github.com/koonwen/obatcher"
7
+
doc: "https://koonwen.github.io/obatcher"
8
+
bug-reports: "https://github.com/koonwen/obatcher/issues"
9
+
depends: [
10
+
"dune" {>= "3.9"}
11
+
"ocaml" {>= "5.0.0"}
12
+
"picos" {= "0.5.0"}
13
+
"picos_std"
14
+
"picos_aux"
15
+
"picos_mux"
16
+
"containers" {with-test}
17
+
"qcheck" {with-test}
18
+
"qcheck-alcotest" {with-test}
19
+
"alcotest" {with-test}
20
+
"logs" {with-test}
21
+
"odoc" {with-doc}
22
+
]
23
+
build: [
24
+
["dune" "subst"] {dev}
25
+
[
26
+
"dune"
27
+
"build"
28
+
"-p"
29
+
name
30
+
"-j"
31
+
jobs
32
+
"@install"
33
+
"@runtest" {with-test}
34
+
"@doc" {with-doc}
35
+
]
36
+
]
37
+
dev-repo: "git+https://github.com/koonwen/obatcher.git"
38
+
url {
39
+
src:
40
+
"https://github.com/koonwen/obatcher/releases/download/v1.1/obatcher-1.1.tbz"
41
+
checksum: [
42
+
"sha256=2ee8f97a1e4a55899f8fdc48aa422e553d6a4d256e71b59e4257448beaf27dd3"
43
+
"sha512=61d0645dc5bd6955f3e663f133d27d9c8c61081e24bc8d88e73f86380432e783fa50bc4d980a9b17ccb949f6af9b90ef834f379ec9171b692745f05d9a34c0f9"
44
+
]
45
+
}
46
+
x-commit-hash: "7c0418cd2758b7dd80cedf5c503d7a39bac5b3ee"