From ed366a5d214e540c7e80f192d3b26969f557e803 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.11-1mamba;Sat Jun 19 2021]

---
 z3.spec | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/z3.spec b/z3.spec
index e6e50b3..d512938 100644
--- a/z3.spec
+++ b/z3.spec
@@ -1,5 +1,5 @@
 Name:          z3
-Version:       4.8.10
+Version:       4.8.11
 Release:       1mamba
 Summary:       A theorem prover from Microsoft Research
 Group:         System/Libraries
@@ -13,12 +13,10 @@ License:       MIT
 ## AUTOBUILDREQ-BEGIN
 BuildRequires: glibc-devel
 BuildRequires: libgcc
-BuildRequires: libgomp-devel
 BuildRequires: libstdc++6-devel
 ## AUTOBUILDREQ-END
 BuildRequires: cmake
 Requires:      lib%{name} = %{?epoch:%epoch:}%{version}-%{release}
-BuildRoot:     %{_tmppath}/%{name}-%{version}-root
 
 %description
 Z3 is a theorem prover from Microsoft Research.
@@ -81,6 +79,9 @@ python contrib/cmake/bootstrap.py create
 %doc README-CMake.md README.md
 
 %changelog
+* Sat Jun 19 2021 Automatic Build System <autodist@mambasoft.it> 4.8.11-1mamba
+- automatic version update by autodist
+
 * Sat Jan 23 2021 Automatic Build System <autodist@mambasoft.it> 4.8.10-1mamba
 - automatic version update by autodist