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: "e6e86adecf526dfbf8e41e2c4efd44743104c14a"
40url {
41 src:
42 "https://github.com/dgllghr/interval-map/releases/download/0.1.0/interval-map-0.1.0.tbz"
43 checksum: [
44 "sha256=73aad4d6fd4993e3a98e0da1120d551b863c90282fc316f92d127a525aa7322c"
45 "sha512=895e2aa016a1f048e15b823080899ef996e06298167321dfdeca1d37b8c5d0730261f3fea17f6f1a8e796e0b4f7ff0cd638cf97db867f1281cc7803a2cfda2ae"
46 ]
47}