git: 05d913f50854 - main - math/z3: Update to 4.12.4

Go to: [ bottom of page ] [ top of archives ] [ this month ]

From: Gleb Popov <arrowd_at_FreeBSD.org>
Date: Fri, 29 Dec 2023 20:56:59 UTC

The branch main has been updated by arrowd:

URL: https://cgit.FreeBSD.org/ports/commit/?id=05d913f50854684d91d4a38b024040d36b9df550

commit 05d913f50854684d91d4a38b024040d36b9df550
Author:     Gleb Popov <arrowd@FreeBSD.org>
AuthorDate: 2023-12-29 20:44:36 +0000
Commit:     Gleb Popov <arrowd@FreeBSD.org>
CommitDate: 2023-12-29 20:44:36 +0000

    math/z3: Update to 4.12.4
---
 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 5d04402bdd29..959ac4187209 100644
--- a/math/z3/Makefile
+++ b/math/z3/Makefile
@@ -1,6 +1,6 @@
 PORTNAME=	z3
 DISTVERSIONPREFIX=	z3-
-DISTVERSION=	4.12.1
+DISTVERSION=	4.12.4
 CATEGORIES=	math
 
 MAINTAINER=	arrowd@FreeBSD.org
diff --git a/math/z3/distinfo b/math/z3/distinfo
index 9fec410ddec3..982910ae058f 100644
--- a/math/z3/distinfo
+++ b/math/z3/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1676206397
-SHA256 (Z3Prover-z3-z3-4.12.1_GH0.tar.gz) = a3735fabf00e1341adcc70394993c05fd3e2ae167a3e9bb46045e33084eb64a3
-SIZE (Z3Prover-z3-z3-4.12.1_GH0.tar.gz) = 5470095
+TIMESTAMP = 1703882277
+SHA256 (Z3Prover-z3-z3-4.12.4_GH0.tar.gz) = 25e9b18d04ee22f1d872dfe0daaf4c39034744525214e34fedd206e25140e96e
+SIZE (Z3Prover-z3-z3-4.12.4_GH0.tar.gz) = 5471960