blob: 67629e046277aaa36c7a393b4e2ddf7b9fb84720 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
pkgbase = eprover
pkgdesc = E is theorem prover for full first-order logic with equality.
pkgver = 2.6
pkgrel = 1
url = http://wwwlehre.dhbw-stuttgart.de/~sschulz/E/E.html
arch = i686
arch = x86_64
license = GPL2
source = http://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_2.6/E.tgz
sha256sums = aa1f3deaa229151e60d607560301a46cd24b06a51009e0a9ba86071e40d73edd
pkgname = eprover
|