opam-version: "2.0"
authors: ["Jean-Christophe Filliatre"]
homepage: "https://www.lri.fr/~filliatr/ftp/ocaml/bdd/"
license: "GPL-1.0-or-later"
build: [
  ["obuild" "configure"]
  ["obuild" "build"]
]
remove: [
  ["ocamlfind" "-remove" "bdd"]
]
depends: ["ocaml" "ocamlfind" "obuild"]
install: ["obuild" "install"]
synopsis:
  "Quick implementation of a Binary Decision Diagrams (BDD) library for OCaml"
flags: light-uninstall
extra-files: ["bdd.obuild" "md5=a81106ac2a267b6d2c55058342519df4"]
url {
  src: "https://www.lri.fr/~filliatr/ftp/ocaml/bdd/bdd-0.3.tar.gz"
  checksum: "md5=56834a743f15b1569712125660aa4af4"
}
