opam-version: "2.0"
synopsis: "Interactive theorem prover based on lambda-tree syntax"
maintainer: "kaustuv@chaudhuri.info"
authors: [
  "Andrew Gacek"
  "Yuting Wang"
  "Kaustuv Chaudhuri"
]
homepage: "http://abella-prover.org"
license: "GPL-3.0-only"
available: [ arch != "arm32" ]
build: [
  [make "all" "abella.install"]
]
depends: [
  "ocaml" { >= "4.02.3" & < "4.13" }
  "ocamlfind" {build}
  "ocamlbuild" {build}
]
bug-reports: "https://github.com/abella-prover/abella/issues"
dev-repo: "git+https://github.com/abella-prover/abella.git"
url {
  src: "https://github.com/abella-prover/abella/archive/v2.0.7.tar.gz"
  checksum: [
    "md5=1e5a56fb213d628d86fef3166caea54d"
    "sha512=c796800d49214e9dc574c3e94ac683b92e57459a956a3718212af133f519d55f0d7f4bed3126e37fc17001aede971d4f8c33045c319e9c2d11cdb68c1b737c83"
  ]
}
