blob: 3970371d25c59d48efe9d8dab135e5b5fff09b00 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
# Generated by mksrcinfo v8
# Mon Oct 17 14:08:53 UTC 2016
pkgbase = abella
pkgdesc = Interactive theorem prover
pkgver = 2.0.4
pkgrel = 1
url = http://abella-prover.org/
arch = i686
arch = x86_64
license = GPL3
makedepends = ocaml
source = abella::http://abella-prover.org/distributions/abella-2.0.4.tar.gz
sha256sums = 4c70180962f7e56e66ebce3c20755f54554e7ceab593acf13cfff1efa964ccc2
pkgname = abella
|