opam-version: "2.0"
maintainer: "markus.weissmann@in.tum.de"
authors: [
  "Alexander Ostrovsky"
  "Markus Weissmann"
]
homepage: "https://forge.ocamlcore.org/projects/bes/"
license: "BSD-3-Clause"
build: [
  ["ocaml" "setup.ml" "-configure" "--prefix" prefix]
  ["ocaml" "setup.ml" "-build"]
  ["ocaml" "setup.ml" "-doc"] {with-doc}
]
remove: [["ocamlfind" "remove" "bes"]]
depends: [
  "ocaml"
  ("extlib" | "extlib-compat")
  "ocamlfind"
  "ospec" {>= "0.3.0"}
  "ocamlbuild" {build}
]
install: ["ocaml" "setup.ml" "-install"]
synopsis: "boolean expression simplifier"
description: """
This is a pure OCaml library containing several algorithms to simplify
boolean expressions (boolean expression simplifier)"""
flags: light-uninstall
extra-files: ["bes.install" "md5=4f47f034403de389e2804b3997bcd38f"]
url {
  src: "https://download.ocamlcore.org/bes/bes/0.9.4.2/bes-0.9.4.2.tar.gz"
  checksum: "md5=5ab46d03b38ea244e2f41705bc27ebe0"
}
