blob: e19838ddb34a8060003f474be3f2c1bda3f3c6cd (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
# Generated by mksrcinfo v8
# Tue Sep 19 14:42:33 UTC 2017
pkgbase = eprover
pkgdesc = E is theorem prover for full first-order logic with equality.
pkgver = 2.0
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.0/E.tgz
sha256sums = ebd911cb3a8b43019f666ffde10b28ca8e0871ab401ce88d1b9ba276c5c8bcf6
pkgname = eprover
|