diff options
-rwxr-xr-x | devel/z3/DETAILS | 4 | ||||
-rw-r--r-- | 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 |