this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "A Framework for building Batched Concurrent Data Structures"
3maintainer: ["koonwen@gmail.com"]
4authors: ["Lee Koon Wen" "Kiran Gopinathan" "Arthur Wendling"]
5license: "ISC"
6homepage: "https://github.com/koonwen/obatcher"
7doc: "https://koonwen.github.io/obatcher"
8bug-reports: "https://github.com/koonwen/obatcher/issues"
9depends: [
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]
23build: [
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]
37dev-repo: "git+https://github.com/koonwen/obatcher.git"
38url {
39 src:
40 "https://github.com/koonwen/obatcher/releases/download/v1.0/obatcher-1.0.tbz"
41 checksum: [
42 "sha256=bad8af8223b14bd6d582e34eba90048d632f2ac611183e120d0faaeaefb7549e"
43 "sha512=cc8ede53c694abbb4aabb6f898e57057c6f2726411eb9f64b056652a0de7adf85432d55df5833d4555ccf03e681869ac0af218119c94f8577008ebd9e0601779"
44 ]
45}
46x-commit-hash: "7b18f630273ee617c2416ac175c801a5b83a4dfa"