PRGNAM="eprover"
VERSION="3.2.5"
HOMEPAGE="http://www.eprover.org"
DOWNLOAD="http://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_3.2/E.tgz"
MD5SUM="260636edf349bc2ce2d1ac0d390f1bf4"
DOWNLOAD_x86_64=""
MD5SUM_x86_64=""
REQUIRES=""
MAINTAINER="Nick Smallbone"
EMAIL="nick@smallbone.se"