ports@,

Here is a clean update of math/z3 to the latest release.

Changelog:
 https://github.com/Z3Prover/z3/releases/tag/z3-4.13.0

Tested on -current/amd64.

So the crashing problem is still here, see:
https://github.com/Z3Prover/z3/issues/6902

But it exists on the current version in ports, which means the update
doesn't break anything new.

The diff:

diff --git math/z3/Makefile math/z3/Makefile
index e498cc1fd76..723a501406b 100644
--- math/z3/Makefile
+++ math/z3/Makefile
@@ -1,7 +1,6 @@
 COMMENT =	Z3 theorem prover
 
-VERSION =	4.12.2
-REVISION =	1
+VERSION =	4.13.0
 
 GH_ACCOUNT =	Z3Prover
 GH_PROJECT =	z3
@@ -10,7 +9,7 @@ GH_TAGNAME =	${GH_PROJECT}-${VERSION}
 DISTNAME =	${GH_TAGNAME}
 PKGNAME =	${DISTNAME:L}
 
-SHARED_LIBS =	z3			4.0 # 4.10
+SHARED_LIBS =	z3			4.1 # 4.13
 
 CATEGORIES =	math
 
diff --git math/z3/distinfo math/z3/distinfo
index 369d2943b90..22c9ca84d8a 100644
--- math/z3/distinfo
+++ math/z3/distinfo
@@ -1,2 +1,2 @@
-SHA256 (z3-4.12.2.tar.gz) = n1jzcQvSCUCFlRp1eRVQ9UeQPXX+fi/LNzxfA/x2G48=
-SIZE (z3-4.12.2.tar.gz) = 5401038
+SHA256 (z3-4.13.0.tar.gz) = AbzGHINi43u4n9JDD34zheht95FQGb0s5F3p2b2TRQI=
+SIZE (z3-4.13.0.tar.gz) = 5520232


-- 
wbr, Kirill