blob: 542d9c982ebc6e3f6ecc82e89ee64ea0575b98c8 (
plain)
1
2
3
4
5
6
7
8
9
10
|
PRGNAM="eprover"
VERSION="2.4"
HOMEPAGE="http://www.eprover.org"
DOWNLOAD="http://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_2.4/E.tgz"
MD5SUM="a303126a27deaedb0ce1bb884ab9ab97"
DOWNLOAD_x86_64=""
MD5SUM_x86_64=""
REQUIRES=""
MAINTAINER="Nick Smallbone"
EMAIL="nick@smallbone.se"
|