From 3e137800808af57b05b114e850a07de0f339aad9 Mon Sep 17 00:00:00 2001
From: Automatic Build System <autodist@mambasoft.it>
Date: Fri, 5 Jan 2024 20:02:37 +0100
Subject: [PATCH] automatic version update by autodist [release
 4.8.9-1mamba;Mon Sep 14 2020]

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

diff --git a/z3.spec b/z3.spec
index c53ed3f..985f52d 100644
--- a/z3.spec
+++ b/z3.spec
@@ -1,5 +1,5 @@
 Name:          z3
-Version:       4.8.8
+Version:       4.8.9
 Release:       1mamba
 Summary:       A theorem prover from Microsoft Research
 Group:         System/Libraries
@@ -77,9 +77,13 @@ python contrib/cmake/bootstrap.py create
 %dir %{_libdir}/cmake/z3
 %{_libdir}/libz3.so
 %{_libdir}/cmake/z3/*.cmake
+%{_libdir}/pkgconfig/z3.pc
 %doc README-CMake.md README.md
 
 %changelog
+* Mon Sep 14 2020 Automatic Build System <autodist@mambasoft.it> 4.8.9-1mamba
+- automatic version update by autodist
+
 * Mon May 11 2020 Automatic Build System <autodist@mambasoft.it> 4.8.8-1mamba
 - automatic version update by autodist