Date: Sun, 17 Jun 2018 17:23:33 +0000 (UTC) From: Gleb Popov <arrowd@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r472613 - in head/math/z3: . files Message-ID: <201806171723.w5HHNXiG022306@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: arrowd Date: Sun Jun 17 17:23:32 2018 New Revision: 472613 URL: https://svnweb.freebsd.org/changeset/ports/472613 Log: math/z3: Update to 4.7.1. Approved by: tcberner (mentor) Differential Revision: https://reviews.freebsd.org/D15864 Deleted: head/math/z3/files/patch-src_util_lp_lp__solver__instances.cpp Modified: head/math/z3/Makefile head/math/z3/distinfo Modified: head/math/z3/Makefile ============================================================================== --- head/math/z3/Makefile Sun Jun 17 16:50:30 2018 (r472612) +++ head/math/z3/Makefile Sun Jun 17 17:23:32 2018 (r472613) @@ -2,10 +2,10 @@ PORTNAME= z3 DISTVERSIONPREFIX= ${PORTNAME}- -DISTVERSION= 4.6.0 +DISTVERSION= 4.7.1 CATEGORIES= math -MAINTAINER= 6yearold@gmail.com +MAINTAINER= arrowd@FreeBSD.org COMMENT= Z3 Theorem Prover LICENSE= MIT Modified: head/math/z3/distinfo ============================================================================== --- head/math/z3/distinfo Sun Jun 17 16:50:30 2018 (r472612) +++ head/math/z3/distinfo Sun Jun 17 17:23:32 2018 (r472613) @@ -1,3 +1,3 @@ -TIMESTAMP = 1516713093 -SHA256 (Z3Prover-z3-z3-4.6.0_GH0.tar.gz) = 511da31d1f985cf0c79b2de05bda4e057371ba519769d1546ff71e1304fe53c9 -SIZE (Z3Prover-z3-z3-4.6.0_GH0.tar.gz) = 3987830 +TIMESTAMP = 1529241358 +SHA256 (Z3Prover-z3-z3-4.7.1_GH0.tar.gz) = a353e3da00cdaffd258052cc1406efc854606855222ab4bfd5679c58af5c11c7 +SIZE (Z3Prover-z3-z3-4.7.1_GH0.tar.gz) = 4015416
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201806171723.w5HHNXiG022306>