this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Jean-Christophe.Filliatre@lri.fr"
3authors: "Jean-Christophe Filliâtre"
4synopsis: "Maps of integers implemented as Patricia trees"
5description: "An implementation inspired by Okasaki & Gill's paper
6'Fast Mergeable Integer Maps'"
7license: "LGPL-2.1-only"
8homepage: "https://github.com/backtracking/ptmap"
9doc: "https://backtracking.github.io/ptmap"
10bug-reports: "https://github.com/backtracking/ptmap/issues"
11depends: [
12 "ocaml"
13 "stdlib-shims"
14 "seq"
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/ptmap.git"
23x-commit-hash: "e08084caa43fa7c1e08c43858cb04cb6c42cf2df"
24url {
25 src:
26 "https://github.com/backtracking/ptmap/releases/download/2.0.5/ptmap-2.0.5.tbz"
27 checksum: [
28 "sha256=ebd1f8afe8679a226fdcbcdb323788e6f63db57521b151473f2ff8c05c30f3aa"
29 "sha512=4a3f20d189d905cb588de3148361495adc40d5892473bf9cd7e49bc98558de29feb51efefb5aab77cad892dd288ad8fa0348832c78cc21e66539768a5a9cab5b"
30 ]
31}