blob: 6064f9ab62102462047b793f76cd4e73bacccf89 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
# Generated by mksrcinfo v8
# Fri Apr 22 09:56:32 UTC 2016
pkgbase = abella
pkgdesc = Interactive theorem prover
pkgver = 2.0.3
pkgrel = 1
url = http://abella-prover.org/
arch = i686
arch = x86_64
license = GPL3
depends = ocaml
source = abella::http://abella-prover.org/distributions/abella-2.0.3.tar.gz
sha256sums = db808ea999f09a3e920c14e1e3bd856683741114cdef3bdbc76fa05f33995a29
pkgname = abella
|