From 7871dab6cdde56cf66e63e9c008fcfa31b6279c5 Mon Sep 17 00:00:00 2001
From: Nick Smallbone
Date: Sun, 12 Jan 2020 12:36:18 +0700
Subject: academic/z3: Updated for version 4.8.7.

Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
---
 academic/z3/slack-desc    | 4 ++--
 academic/z3/z3.SlackBuild | 2 +-
 academic/z3/z3.info       | 6 +++---
 3 files changed, 6 insertions(+), 6 deletions(-)

(limited to 'academic')

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=""
-- 
cgit v1.2.3