summaryrefslogtreecommitdiffstats
path: root/academic
diff options
context:
space:
mode:
author Nick Smallbone2020-01-12 06:36:18 +0100
committer Willy Sudiarto Raharjo2020-01-12 06:36:18 +0100
commit7871dab6cdde56cf66e63e9c008fcfa31b6279c5 (patch)
tree5baadee718fa2c61977066bd97713e2728953320 /academic
parent939a3f40d4a7ea78eb050022d0d4e7ee8ca8e661 (diff)
downloadslackbuilds-7871dab6cdde56cf66e63e9c008fcfa31b6279c5.tar.gz
academic/z3: Updated for version 4.8.7.
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'academic')
-rw-r--r--academic/z3/slack-desc4
-rw-r--r--academic/z3/z3.SlackBuild2
-rw-r--r--academic/z3/z3.info6
3 files changed, 6 insertions, 6 deletions
diff --git a/academic/z3/slack-desc b/academic/z3/slack-desc
index c8a8e4c2c2..e389de655a 100644
--- a/academic/z3/slack-desc
+++ b/academic/z3/slack-desc
@@ -13,7 +13,7 @@ z3: (SMT) solver. Given a formula in first-order logic, it attempts to
z3: either prove the formula or find a counterexample. Z3 supports
z3: arithmetic, reasoning about arrays, and several other built-in
z3: theories. Input problems are written in SMT-LIB format.
-z3:
+z3:
z3: This package includes the z3 program as well as C++ and Python APIs.
-z3:
+z3:
z3: Homepage: https://github.com/Z3Prover/z3/wiki
diff --git a/academic/z3/z3.SlackBuild b/academic/z3/z3.SlackBuild
index bc6dd426f0..741a7c6e4a 100644
--- a/academic/z3/z3.SlackBuild
+++ b/academic/z3/z3.SlackBuild
@@ -23,7 +23,7 @@
# ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
PRGNAM=z3
-VERSION=${VERSION:-4.8.4}
+VERSION=${VERSION:-4.8.7}
BUILD=${BUILD:-1}
TAG=${TAG:-_SBo}
diff --git a/academic/z3/z3.info b/academic/z3/z3.info
index b193eeb6d8..71512a125f 100644
--- a/academic/z3/z3.info
+++ b/academic/z3/z3.info
@@ -1,8 +1,8 @@
PRGNAM="z3"
-VERSION="4.8.4"
+VERSION="4.8.7"
HOMEPAGE="https://github.com/Z3Prover/z3/wiki"
-DOWNLOAD="https://github.com/Z3Prover/z3/archive/z3-4.8.4.tar.gz"
-MD5SUM="b74bbb04e90c034125fe9e01988add95"
+DOWNLOAD="https://github.com/Z3Prover/z3/archive/z3-4.8.7.tar.gz"
+MD5SUM="18e7332ab136c1d8686ea719ed7107ed"
DOWNLOAD_x86_64=""
MD5SUM_x86_64=""
REQUIRES=""