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/UnixJunkie/ptmap/issues"
6dev-repo: "git+https://github.com/UnixJunkie/ptmap.git"
7license: "GPL-2.1"
8build: [
9 ["obuild" "configure"]
10 ["obuild" "build" "lib-ptmap"]
11]
12install: [
13 ["obuild" "install"]
14]
15remove: [
16 ["ocamlfind" "remove" "ptmap"]
17]
18depends: [
19 "ocaml"
20 "ocamlfind"
21 "obuild" {build}
22]
23synopsis: "Maps over integers implemented as Patricia trees"
24flags: light-uninstall
25url {
26 src: "https://github.com/UnixJunkie/ptmap/archive/v1.0.0.tar.gz"
27 checksum: [
28 "sha256=218fcad43ff97be7e23d0e89a30331bb9226e93afe2e5c3e803b5aec6de9b904"
29 "md5=f0dd78d650bd2e92ff11883eacdd4da6"
30 ]
31}