diff options
Diffstat (limited to 'academic/eprover/eprover.SlackBuild')
-rw-r--r-- | academic/eprover/eprover.SlackBuild | 4 |
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} |