eprover.info 291 B

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