summaryrefslogtreecommitdiffstats
path: root/academic/eprover/eprover.SlackBuild
diff options
context:
space:
mode:
Diffstat (limited to 'academic/eprover/eprover.SlackBuild')
-rw-r--r--academic/eprover/eprover.SlackBuild4
1 files changed, 2 insertions, 2 deletions
diff --git a/academic/eprover/eprover.SlackBuild b/academic/eprover/eprover.SlackBuild
index 723e70713b..5ab9c7485b 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.2}
+VERSION=${VERSION:-2.5}
BUILD=${BUILD:-1}
TAG=${TAG:-_SBo}