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/backtracking/ptmap/issues"
6dev-repo: "git+https://github.com/backtracking/ptmap.git"
7license: "LGPL-2.1-only"
8build: [
9 ["obuild" "configure"]
10 ["obuild" "build" "lib-ptmap"]
11]
12install: [
13 ["obuild" "install"]
14]
15remove: [
16 ["ocamlfind" "remove" "ptmap"]
17]
18depends: [
19 "ocaml" {>= "4.07.0" & < "4.11"}
20 "ocamlfind" {build}
21 "obuild" {build}
22 "qtest" {with-test & >= "2.2"}
23]
24synopsis: "Maps over integers implemented as Patricia trees"
25flags: light-uninstall
26url {
27 src: "https://github.com/backtracking/ptmap/archive/v2.0.4.tar.gz"
28 checksum: [
29 "sha256=5c0f32d96f90fee6bd86e02a78f3e5b2092caade1a88effc434c185ea20cc6a7"
30 "md5=0402cdfebb221e39237c616bfdb99afc"
31 ]
32}