summaryrefslogtreecommitdiffstats
path: root/academic
diff options
context:
space:
mode:
author Nick Smallbone2020-01-12 06:36:48 +0100
committer Willy Sudiarto Raharjo2020-01-12 06:36:48 +0100
commit42c03560da421c1818a035b6a30da8ffaa3200a4 (patch)
tree21a3ec850c36414fad273f5df5659f231c8a9eb7 /academic
parent7871dab6cdde56cf66e63e9c008fcfa31b6279c5 (diff)
downloadslackbuilds-42c03560da421c1818a035b6a30da8ffaa3200a4.tar.gz
academic/eprover: Updated for version 2.4.
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'academic')
-rw-r--r--academic/eprover/eprover.SlackBuild4
-rw-r--r--academic/eprover/eprover.info6
2 files changed, 5 insertions, 5 deletions
diff --git a/academic/eprover/eprover.SlackBuild b/academic/eprover/eprover.SlackBuild
index 723e70713b..af3094b78b 100644
--- a/academic/eprover/eprover.SlackBuild
+++ b/academic/eprover/eprover.SlackBuild
@@ -23,7 +23,7 @@
# ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
PRGNAM=eprover
-VERSION=${VERSION:-2.2}
+VERSION=${VERSION:-2.4}
BUILD=${BUILD:-1}
TAG=${TAG:-_SBo}
@@ -90,7 +90,7 @@ for i in $( find $PKG/usr/man -type l ) ; do ln -s $( readlink $i ).gz $i.gz ; r
mkdir -p $PKG/usr/doc/$PRGNAM-$VERSION
cp -a \
- README COPYING DOC/CONTRIBUTORS DOC/eprover.pdf DOC/NEWS \
+ README.md COPYING DOC/CONTRIBUTORS DOC/eprover.pdf DOC/NEWS \
$PKG/usr/doc/$PRGNAM-$VERSION
cat $CWD/$PRGNAM.SlackBuild > $PKG/usr/doc/$PRGNAM-$VERSION/$PRGNAM.SlackBuild
diff --git a/academic/eprover/eprover.info b/academic/eprover/eprover.info
index fee24f2a05..542d9c982e 100644
--- a/academic/eprover/eprover.info
+++ b/academic/eprover/eprover.info
@@ -1,8 +1,8 @@
PRGNAM="eprover"
-VERSION="2.2"
+VERSION="2.4"
HOMEPAGE="http://www.eprover.org"
-DOWNLOAD="http://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_2.2/E.tgz"
-MD5SUM="62800b607d19e544856671318597aa3d"
+DOWNLOAD="http://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_2.4/E.tgz"
+MD5SUM="a303126a27deaedb0ce1bb884ab9ab97"
DOWNLOAD_x86_64=""
MD5SUM_x86_64=""
REQUIRES=""