this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Jean-Christophe.Filliatre@lri.fr"
3authors: ["Jean-Christophe Filliâtre"]
4homepage: "https://www.lri.fr/~filliatr/software.en.html"
5bug-reports: "https://github.com/UnixJunkie/bheap/issues"
6dev-repo: "git+https://github.com/UnixJunkie/bheap.git"
7license: "LGPL-2.1-only"
8build: [
9 ["obuild" "configure"]
10 ["obuild" "build" "lib-bheap"]
11]
12install: [
13 ["obuild" "install"]
14]
15remove: [
16 ["ocamlfind" "remove" "bheap"]
17]
18depends: [
19 "ocaml" {< "5.0.0"}
20 "ocamlfind"
21 "obuild" {build & >= "0.1"}
22]
23synopsis: "Binary heap implementation"
24flags: light-uninstall
25url {
26 src: "https://github.com/UnixJunkie/bheap/archive/v1.0.0.tar.gz"
27 checksum: [
28 "sha256=977e0b17772e0aae928d2a3b9ee0857e5fb857a380916d638073d2a3f0a9f25c"
29 "md5=0a1c6a34cf536878c0d95ca0e3d0ba1a"
30 ]
31}