this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Jean-Christophe.Filliatre@cnrs.fr"
3authors: ["Jean-Christophe Filliâtre"]
4homepage: "https://github.com/backtracking/hashset"
5bug-reports: "https://github.com/backtracking/hashset/issues"
6dev-repo: "https://github.com/backtracking/hashset"
7license: "LGPL-2.1-only"
8build: [
9 ["obuild" "configure"]
10 ["obuild" "build" "lib-hashset"]
11]
12install: [
13 ["obuild" "install"]
14]
15remove: [
16 ["ocamlfind" "remove" "hashset"]
17]
18depends: [
19 "ocaml" {< "5.0.0"}
20 "ocamlfind"
21 "obuild" {build & >= "0.1"}
22]
23synopsis: "Sets as hash tables"
24flags: light-uninstall
25url {
26 src: "https://github.com/UnixJunkie/hashset/archive/v1.0.0.tar.gz"
27 checksum: [
28 "sha256=3e9772598db716c2bc83a62943e6892c0c52a50f10c74ceb67abf896ec9b4425"
29 "md5=171ec866aa8038fff803f26803aa2561"
30 ]
31}