11 lines
291 B
Plaintext
11 lines
291 B
Plaintext
PRGNAM="eprover"
|
|
VERSION="3.1"
|
|
HOMEPAGE="http://www.eprover.org"
|
|
DOWNLOAD="http://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_3.1/E.tgz"
|
|
MD5SUM="87ecb7e271e45776b40ddb1ce51ca8d3"
|
|
DOWNLOAD_x86_64=""
|
|
MD5SUM_x86_64=""
|
|
REQUIRES=""
|
|
MAINTAINER="Nick Smallbone"
|
|
EMAIL="nick@smallbone.se"
|