summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xdevel/z3/DETAILS4
-rw-r--r--devel/z3/HISTORY3
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