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=e1b6640cebea3bb98d37d671084fe88a"]
url {
  src: "https://codeload.github.com/abella-prover/abella/tar.gz/v2.0.4"
  checksum: "md5=dae3084b962cf528213a3b012a3a1b7c"
}
