mirror of
https://github.com/Ponce/slackbuilds
synced 2024-11-26 22:06:35 +01:00
fed4d5c025
Signed-off-by: Dave Woodfall <dave@slackbuilds.org> Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
10 lines
291 B
Text
10 lines
291 B
Text
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"
|