- 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"
|