From a9cdb53a26ae926a888d80c25d405f1521597e7c Mon Sep 17 00:00:00 2001
From: Automatic Build System <autodist@openmamba.org>
Date: Tue, 11 Mar 2025 21:47:22 +0100
Subject: [PATCH] automatic version update by autodist [release
 4.14.1-1mamba;Tue Mar 11 2025]

---
 z3.spec | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/z3.spec b/z3.spec
index 8e212c8..0c4ff4e 100644
--- a/z3.spec
+++ b/z3.spec
@@ -1,5 +1,5 @@
 Name:          z3
-Version:       4.14.0
+Version:       4.14.1
 Release:       1mamba
 Summary:       A theorem prover from Microsoft Research
 Group:         System/Libraries
@@ -75,6 +75,9 @@ This package contains libraries and header files for developing applications tha
 %doc README-CMake.md README.md
 
 %changelog
+* Tue Mar 11 2025 Automatic Build System <autodist@openmamba.org> 4.14.1-1mamba
+- automatic version update by autodist
+
 * Wed Feb 19 2025 Automatic Build System <autodist@openmamba.org> 4.14.0-1mamba
 - automatic version update by autodist