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.1/obatcher-1.1.tbz"
41 checksum: [
42 "sha256=2ee8f97a1e4a55899f8fdc48aa422e553d6a4d256e71b59e4257448beaf27dd3"
43 "sha512=61d0645dc5bd6955f3e663f133d27d9c8c61081e24bc8d88e73f86380432e783fa50bc4d980a9b17ccb949f6af9b90ef834f379ec9171b692745f05d9a34c0f9"
44 ]
45}
46x-commit-hash: "7c0418cd2758b7dd80cedf5c503d7a39bac5b3ee"