summarylogtreecommitdiffstats
path: root/.SRCINFO
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