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: "git+https://github.com/backtracking/hashset.git"
license: "LGPL-2.1-only"
depends: [
  "ocaml"
  "dune" {>= "2.0.0"}
]
build: [
  ["dune" "subst"] {dev}
  ["dune" "build" "-p" name "-j" jobs]
]
synopsis: "Sets as hash tables"
url {
  src: "https://github.com/backtracking/hashset/archive/refs/tags/v1.0.1.zip"
  checksum: [
    "sha256=93247267292744cf92752658dbf1e1a55b036e53551ce8b8eb9ea07abdddd8fe"
    "md5=e4ec32fe3c3cdbb7dfa1decc0cbd78ec"
  ]
}