blob: ea11c3c35fed30727956e9cd5137075f97045c45 (
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 = 3.1
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_3.1/E.tgz
sha256sums = f84db3ec902488d5e166b5915c56e12397fd3660744387a2c5a6f81a5005a986
pkgname = eprover
|