eprover.info « eprover « academic - slackbuilds - slackbuilds.org fork for slackware-current - clone of http://github.com/Ponce/slackbuilds

index : slackbuilds

slackbuilds.org fork for slackware-current - clone of http://github.com/Ponce/slackbuilds

matteo.bernardini _at_ gmail.com

summary refs log tree commit diff stats

path: root/academic/eprover/eprover.info

blob: fee24f2a05b89bb3fe2fcf576fb76ca07c985e8e (plain)

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"