From d9af34363f8e73c7b5f01fb1e98ee756acf8b3ad Mon Sep 17 00:00:00 2001
From: Florian Franzmann
Date: Sun, 21 Nov 2021 19:57:08 +0100
Subject: devel/z3: version 4.8.13

---
 devel/z3/DETAILS | 4 ++--
 devel/z3/HISTORY | 3 +++
 2 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/devel/z3/DETAILS b/devel/z3/DETAILS
index 97b625e8c4..7442b8eb2f 100755
--- a/devel/z3/DETAILS
+++ b/devel/z3/DETAILS
@@ -1,10 +1,10 @@
            SPELL=z3
-         VERSION=4.8.12
+         VERSION=4.8.13
           SOURCE=$SPELL-$VERSION.tar.gz
 SOURCE_DIRECTORY="$BUILD_DIRECTORY/$SPELL-$SPELL-$VERSION"
         WEB_SITE=https://github.com/Z3Prover/z3
       SOURCE_URL=$WEB_SITE/archive/$SOURCE
-     SOURCE_HASH=sha512:0b377923bdaffaca1846aa2abd61003bbecadfcdfc908ed3097d0aac8f32028ac39d93fb4a9c2e2c2bfffbdbee80aa415875f17de6c2ee2ae8e2b7921f788c6e
+     SOURCE_HASH=sha512:c5e8f34525ed3b6b2935d7f01ce2f90f5dd99b4cdd035664b36c967fb1c7f3b05abed45c7288e2261723e73d68728ee91a0f67d92012d86b04598d7b54369c30
          LICENSE=(MIT)
            SHORT="The Z3 Theorem Prover"
 cat << EOF
diff --git a/devel/z3/HISTORY b/devel/z3/HISTORY
index ee2ceda760..32885627c5 100644
--- a/devel/z3/HISTORY
+++ b/devel/z3/HISTORY
@@ -1,3 +1,6 @@
+2021-11-21  Florian Franzmann  <bwlf@bandrate.org>
+	* DETAILS: version 4.8.13
+
 2021-07-25  Florian Franzmann  <bwlf@bandrate.org>
 	* DETAILS: version 4.8.12
 
-- 
cgit v1.2.3