opam-version: "2.0"
maintainer: "kaustuv@chaudhuri.info"
authors: [
  "Andrew Gacek"
  "Yuting Wang"
  "Kaustuv Chaudhuri"
]
homepage: "http://abella-prover.org"
license: "GPL-3.0-only"
build: [[make]]
depends: [
  "ocaml" {>= "4.02.3" & < "4.08.0"}
  "ocamlfind"
  "ocamlbuild" {build}
]
bug-reports: "https://github.com/abella-prover/abella/issues"
dev-repo: "git+https://github.com/abella-prover/abella.git"
synopsis: "Interactive theorem prover based on lambda-tree syntax"
extra-files: ["abella.install" "md5=b6aca077ddd98c254f32a55fb1cfa14a"]
url {
  src: "https://codeload.github.com/abella-prover/abella/tar.gz/v2.0.5"
  checksum: "md5=8686a1bba43a8069222538ef6cb5ac9e"
}
