blob: 2ba2a4548aa165562caef976135572b2ec69a9af (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
# Generated by mksrcinfo v8
# Wed Oct 10 10:42:37 UTC 2018
pkgbase = eprover
pkgdesc = E is theorem prover for full first-order logic with equality.
pkgver = 2.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_2.1/E.tgz
md5sums = 48bbc6a020dff3a85ed670ca552476ed
pkgname = eprover
|