Date: Sun, 24 Oct 2021 18:54:09 GMT From: Gleb Popov <arrowd@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: 1d13ddd0a2cb - main - math/z3: Update to 4.8.12 Message-ID: <202110241854.19OIs9ZS081108@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
The branch main has been updated by arrowd: URL: https://cgit.FreeBSD.org/ports/commit/?id=1d13ddd0a2cb8076e5b7c35dd8060a615c9cae41 commit 1d13ddd0a2cb8076e5b7c35dd8060a615c9cae41 Author: Gleb Popov <arrowd@FreeBSD.org> AuthorDate: 2021-10-24 18:53:37 +0000 Commit: Gleb Popov <arrowd@FreeBSD.org> CommitDate: 2021-10-24 18:54:07 +0000 math/z3: Update to 4.8.12 --- math/z3/Makefile | 2 +- math/z3/distinfo | 6 +++--- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/math/z3/Makefile b/math/z3/Makefile index ec9ce519e62c..7e4d6165beae 100644 --- a/math/z3/Makefile +++ b/math/z3/Makefile @@ -1,6 +1,6 @@ PORTNAME= z3 DISTVERSIONPREFIX= z3- -DISTVERSION= 4.8.10 +DISTVERSION= 4.8.12 CATEGORIES= math MAINTAINER= arrowd@FreeBSD.org diff --git a/math/z3/distinfo b/math/z3/distinfo index 08f8911541d9..caab8424e15f 100644 --- a/math/z3/distinfo +++ b/math/z3/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1613658362 -SHA256 (Z3Prover-z3-z3-4.8.10_GH0.tar.gz) = 12cce6392b613d3133909ce7f93985d2470f0d00138837de06cf7eb2992886b4 -SIZE (Z3Prover-z3-z3-4.8.10_GH0.tar.gz) = 4731869 +TIMESTAMP = 1635100958 +SHA256 (Z3Prover-z3-z3-4.8.12_GH0.tar.gz) = e3aaefde68b839299cbc988178529535e66048398f7d083b40c69fe0da55f8b7 +SIZE (Z3Prover-z3-z3-4.8.12_GH0.tar.gz) = 4803435
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202110241854.19OIs9ZS081108>