git: 14fe931bdd60 - main - math/z3: Update 4.15.4.0 => 4.15.8.0

The branch main has been updated by alven:

URL: https://cgit.FreeBSD.org/ports/commit/?id=14fe931bdd607aacc8cd30d94b2e3e918468975c

commit 14fe931bdd607aacc8cd30d94b2e3e918468975c
Author:     Älven <alven@FreeBSD.org>
AuthorDate: 2026-02-17 06:36:50 +0000
Commit:     Älven <alven@FreeBSD.org>
CommitDate: 2026-02-17 06:59:35 +0000

    math/z3: Update 4.15.4.0 => 4.15.8.0
    
    Changelogs:
    * https://github.com/Z3Prover/z3/blob/master/RELEASE_NOTES.md#version-4158
    * https://github.com/Z3Prover/z3/compare/z3-4.15.4...z3-4.15.5
    * https://github.com/Z3Prover/z3/compare/z3-4.15.5...z3-4.15.6
    * https://github.com/Z3Prover/z3/compare/z3-4.15.6...z3-4.15.7
    * https://github.com/Z3Prover/z3/compare/z3-4.15.7...z3-4.15.8
    
    Approved by:            arrowd@ (maintainer)
    Approved by:            db@, yuri@ (Mentors, implicit)
    Differential Revision:  https://reviews.freebsd.org/D55324
---
 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 80f5d84c73e8..9b843725f3bc 100644
--- a/math/z3/Makefile
+++ b/math/z3/Makefile
@@ -1,5 +1,5 @@
 PORTNAME=	z3
-DISTVERSION=	4.15.4.0
+DISTVERSION=	4.15.8.0
 CATEGORIES=	math
 MASTER_SITES=	https://github.com/Z3Prover/z3/releases/download/${PORTNAME}-${DISTVERSION:R}/
 DISTNAME=	${PORTNAME}_solver-${DISTVERSION}
diff --git a/math/z3/distinfo b/math/z3/distinfo
index 031749424d75..8b1c66bc8f9a 100644
--- a/math/z3/distinfo
+++ b/math/z3/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1761831549
-SHA256 (z3_solver-4.15.4.0.tar.gz) = 928c29b58c4eb62106da51c1914f6a4a55d0441f8f48a81b9da07950434a8946
-SIZE (z3_solver-4.15.4.0.tar.gz) = 5018600
+TIMESTAMP = 1771308833
+SHA256 (z3_solver-4.15.8.0.tar.gz) = f15aa2ff4c2ddc40aea1dc6a4d247ca68e0cf6c06e318a820ca049d074f7c03d
+SIZE (z3_solver-4.15.8.0.tar.gz) = 5073041