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" {>= "3.12.1" & < "4.08.0"}
  "ocamlfind"
  "ocamlbuild" {build}
]
synopsis: "Interactive theorem prover based on lambda-tree syntax"
extra-files: ["abella.install" "md5=f5fd361890406899f21b2df25a63cf15"]
url {
  src: "https://codeload.github.com/abella-prover/abella/tar.gz/v2.0.3"
  checksum: "md5=ad56f51254d702242d78bb91ddc08671"
}
