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