aboutsummaryrefslogtreecommitdiff
path: root/academic/eprover
diff options
context:
space:
mode:
authorNick Smallbone <nick@smallbone.se>2020-09-03 21:29:55 +0100
committerWilly Sudiarto Raharjo <willysr@slackbuilds.org>2020-09-05 08:26:44 +0700
commitfed4d5c0254a4c51051696a840893cdb1df7f552 (patch)
tree2d874fbf7638bc6f68999e480bfa37381ffa5ec2 /academic/eprover
parent801a1e82e57dcfb11a9a8d70b3dab3e759e4b0d1 (diff)
academic/eprover: Updated for version 2.5.
Signed-off-by: Dave Woodfall <dave@slackbuilds.org> Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'academic/eprover')
-rw-r--r--academic/eprover/eprover.SlackBuild6
-rw-r--r--academic/eprover/eprover.info6
2 files changed, 6 insertions, 6 deletions
diff --git a/academic/eprover/eprover.SlackBuild b/academic/eprover/eprover.SlackBuild
index af3094b78b30a..5ab9c7485b102 100644
--- a/academic/eprover/eprover.SlackBuild
+++ b/academic/eprover/eprover.SlackBuild
@@ -2,7 +2,7 @@
# Slackware build script for eprover
-# Copyright 2019 Nick Smallbone, Gothenburg, Sweden
+# Copyright 2019-2020 Nick Smallbone, Gothenburg, Sweden
# All rights reserved.
#
# Redistribution and use of this script, with or without modification, is
@@ -23,7 +23,7 @@
# ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
PRGNAM=eprover
-VERSION=${VERSION:-2.4}
+VERSION=${VERSION:-2.5}
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.md COPYING DOC/CONTRIBUTORS DOC/eprover.pdf DOC/NEWS \
+ README 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 542d9c982ebc6..9371d82d3e348 100644
--- a/academic/eprover/eprover.info
+++ b/academic/eprover/eprover.info
@@ -1,8 +1,8 @@
PRGNAM="eprover"
-VERSION="2.4"
+VERSION="2.5"
HOMEPAGE="http://www.eprover.org"
-DOWNLOAD="http://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_2.4/E.tgz"
-MD5SUM="a303126a27deaedb0ce1bb884ab9ab97"
+DOWNLOAD="http://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_2.5/E.tgz"
+MD5SUM="f73852315dde1071acfa552b9532c7ab"
DOWNLOAD_x86_64=""
MD5SUM_x86_64=""
REQUIRES=""