this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Jean-Christophe.Filliatre@lri.fr"
3authors: "Jean-Christophe Filliâtre"
4synopsis: "Priority queues"
5description: """
6Traditional implementation using a binary heap encoded in a resizable array
7"""
8license: "LGPL-2.1-only"
9homepage: "https://github.com/backtracking/bheap"
10doc: "https://backtracking.github.io/bheap"
11bug-reports: "https://github.com/backtracking/bheap/issues"
12depends: [
13 "ocaml"
14 "stdlib-shims" {with-test}
15 "dune" {>= "2.0.0"}
16]
17build: [
18 ["dune" "subst"] {dev}
19 ["dune" "build" "-p" name "-j" jobs]
20 ["dune" "runtest" "-p" name] {with-test}
21]
22dev-repo: "git+https://github.com/backtracking/bheap.git"
23x-commit-hash: "e36a77483ce79fa52e1ea87a251e7c50b3fec4fb"
24url {
25 src:
26 "https://github.com/backtracking/bheap/releases/download/2.0.0/bheap-2.0.0.tbz"
27 checksum: [
28 "sha256=5f43d7b237bc87b07097f60eae2b32de64e644158308da338bf1512014bdf636"
29 "sha512=90dcf2b3856b25f8ec7204d3596b64dfc264e9158ea84e8c2f15e3980c45ef888b7a969e613f31a626aebc4c5963a09b4fd3c3b95beba7d3159ff42080193841"
30 ]
31}