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