this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "An immutable interval map data structure"
3description: """
4An immutable interval map data structure implemented as an interval tree. Based
5on [jgblight/im_interval_tree](https://github.com/jgblight/im_interval_tree).
6
7Interval maps are great for finding intervals and their associated values which
8overlap a given interval. This interval map supports intervals with excluded,
9included, and unbounded bound ends. Multiple values may be associated with the
10same interval.
11"""
12maintainer: ["Dan Gallagher"]
13authors: ["Dan Gallagher"]
14license: "MIT"
15homepage: "https://github.com/dgllghr/interval-map"
16doc: "https://dgllghr.github.io/interval-map/"
17bug-reports: "https://github.com/dgllghr/interval-map/issues"
18depends: [
19 "ocaml" {>= "4.08.0"}
20 "dune" {>= "2.0"}
21 "alcotest" {with-test}
22 "odoc" {with-doc}
23]
24build: [
25 ["dune" "subst"] {dev}
26 [
27 "dune"
28 "build"
29 "-p"
30 name
31 "-j"
32 jobs
33 "@install"
34 "@runtest" {with-test}
35 "@doc" {with-doc}
36 ]
37]
38dev-repo: "git+https://github.com/dgllghr/interval-map.git"
39x-commit-hash: "2936dd48e39ed8f929ba80623e9a26cbee56f55d"
40url {
41 src:
42 "https://github.com/dgllghr/interval-map/releases/download/0.2.0/interval-map-0.2.0.tbz"
43 checksum: [
44 "sha256=e7fb0d1aa8dc5d680066069e4dc8d2f7c4204b7d3398649c74c32690fc13ee91"
45 "sha512=ff6091efdef6f4c4c8e0fd93428f8646b99beefc1b47c5de74153be5d4b9264bb11e64388c794deb6dd1017ff7d383e82d0b6590799e901fe6b42aa015dd5a3f"
46 ]
47}