opam-version: "2.0"
maintainer: "kaustuv@chaudhuri.info"
homepage: "http://chaudhuri.info/software/profound/"
license: "MIT"
build: [
  [make]
  ["mkdir" "-p" "%{share}%/profound"]
]
remove: [["rm" "-rf" "%{share}%/profound/"]]
depends: [
  "ocaml" {>= "4.00.1" & < "4.08.0"}
  "ocamlfind"
  "lablgtk"
  "menhir" {>= "20120123"}
  "batteries" {>= "2.0.0"}
  "ocamlbuild" {build}
]
dev-repo: "git://github.com/chaudhuri/profound"
install: ["cp" "share/profound/wash_form.tex" "%{share}%/profound/"]
synopsis: "Interactive proof exploration based on formula linking"
flags: light-uninstall
extra-files: ["profound.install" "md5=7d991eed37b18dba464b98e4f640a74c"]
url {
  src: "https://github.com/chaudhuri/profound/archive/v0.4.2.tar.gz"
  checksum: "md5=52f2c3d963cb0497c18ef64185ff6df7"
}
