From 6ca61cb935460572b83ca45b8d19cae6d2ff9fca Mon Sep 17 00:00:00 2001
From: Fedora Release Engineering <releng@fedoraproject.org>
Date: Thu, 28 Jan 2021 00:37:04 +0000
Subject: [PATCH] - Rebuilt for
 https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild

Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
---
 z3.spec | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/z3.spec b/z3.spec
index 6ce42f3..275ae18 100644
--- a/z3.spec
+++ b/z3.spec
@@ -1,6 +1,6 @@
 Name:           z3
 Version:        4.8.9
-Release:        4%{?dist}
+Release:        5%{?dist}
 Summary:        Satisfiability Modulo Theories (SMT) solver
 
 License:        MIT
@@ -231,6 +231,9 @@ help2man -N -o %{buildroot}%{_mandir}/man1/%{name}.1 %{_vpath_builddir}/%{name}
 %{python3_sitelib}/%{name}/
 
 %changelog
+* Thu Jan 28 2021 Fedora Release Engineering <releng@fedoraproject.org> - 4.8.9-5
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
+
 * Fri Dec 25 2020 Jerry James <loganjerry@gmail.com> - 4.8.9-4
 - Fix the python interface (bz 1910923)