Hi,
attached is a diff to update z3 to latest release.
Ok?
Cheers,
Remi.
Index: Makefile
===================================================================
RCS file: /cvs/ports/math/z3/Makefile,v
retrieving revision 1.5
diff -u -p -u -p -r1.5 Makefile
--- Makefile 10 Apr 2018 08:17:38 -0000 1.5
+++ Makefile 18 Jun 2018 05:49:07 -0000
@@ -2,7 +2,7 @@
COMMENT = z3 theorem prover
-VERSION = 4.6.0
+VERSION = 4.7.1
DISTNAME = z3-${VERSION}
GH_ACCOUNT = Z3Prover
Index: distinfo
===================================================================
RCS file: /cvs/ports/math/z3/distinfo,v
retrieving revision 1.2
diff -u -p -u -p -r1.2 distinfo
--- distinfo 10 Apr 2018 08:17:38 -0000 1.2
+++ distinfo 18 Jun 2018 05:49:07 -0000
@@ -1,2 +1,2 @@
-SHA256 (z3-4.6.0.tar.gz) = UR2jHR+YXPDHmy3gW9pOBXNxulGXadFUb/ceEwT+U8k=
-SIZE (z3-4.6.0.tar.gz) = 3987830
+SHA256 (z3-4.7.1.tar.gz) = o1Pj2gDNr/0lgFLMFAbvyFRgaFUiKrS/1WecWK9cEcc=
+SIZE (z3-4.7.1.tar.gz) = 4015416
