opam-version: "2.0"
maintainer: "Jean-Christophe.Filliatre@cnrs.fr"
authors: ["Jean-Christophe Filliâtre"]
homepage: "https://github.com/backtracking/hashset"
bug-reports: "https://github.com/backtracking/hashset/issues"
dev-repo: "https://github.com/backtracking/hashset"
license: "LGPL-2.1-only"
build: [
  ["obuild" "configure"]
  ["obuild" "build" "lib-hashset"]
]
install: [
  ["obuild" "install"]
]
remove: [
  ["ocamlfind" "remove" "hashset"]
]
depends: [
  "ocaml" {< "5.0.0"}
  "ocamlfind"
  "obuild" {build & >= "0.1"}
]
synopsis: "Sets as hash tables"
flags: light-uninstall
url {
  src: "https://github.com/UnixJunkie/hashset/archive/v1.0.0.tar.gz"
  checksum: [
    "sha256=3e9772598db716c2bc83a62943e6892c0c52a50f10c74ceb67abf896ec9b4425"
    "md5=171ec866aa8038fff803f26803aa2561"
  ]
}