From 61301a359dd029a4fd1404848de1174661e6954e Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry@gmail.com>
Date: Tue, 8 Jun 2021 08:27:35 -0600
Subject: [PATCH] Version 4.8.11.

---
 sources | 2 +-
 z3.spec | 7 +++++--
 2 files changed, 6 insertions(+), 3 deletions(-)

diff --git a/sources b/sources
index 6e928b0..4762877 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-SHA512 (z3-4.8.10.tar.gz) = d2741d7ad3e1d5ee3fec92095b061a96a700c3327b2eb2090d4162bdcaeaebca8c072ef79c5daac1f6de3456165c2cc38e13f1045bc707779d1027b943837c5b
+SHA512 (z3-4.8.11.tar.gz) = ceab703d0413d0135e0f4e6c3ba2bb58d6a4823385edb0bf7ecc96949a3073b687d415a2674c86c9f876adb52823f98f9fbbc107d799ed756dc16292f9864894
diff --git a/z3.spec b/z3.spec
index 6213fa0..86ca090 100644
--- a/z3.spec
+++ b/z3.spec
@@ -1,6 +1,6 @@
 Name:           z3
-Version:        4.8.10
-Release:        6%{?dist}
+Version:        4.8.11
+Release:        1%{?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
+* Sun Jun  6 2021 Jerry James <loganjerry@gmail.com> - 4.8.11-1
+- Version 4.8.11
+
 * Fri Jun 04 2021 Python Maint <python-maint@redhat.com> - 4.8.10-6
 - Rebuilt for Python 3.10