-
Notifications
You must be signed in to change notification settings - Fork 1.1k
/
opam
28 lines (28 loc) · 826 Bytes
/
opam
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
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"
]
}