From 1db6cfa63f654406274f61aaa1b2804a66796c7c Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry@gmail.com>
Date: Tue, 13 Jul 2021 13:11:43 -0600
Subject: [PATCH] Version 4.8.12.

---
 sources | 2 +-
 z3.spec | 5 ++++-
 2 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/sources b/sources
index 4762877..6d9a0b2 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-SHA512 (z3-4.8.11.tar.gz) = ceab703d0413d0135e0f4e6c3ba2bb58d6a4823385edb0bf7ecc96949a3073b687d415a2674c86c9f876adb52823f98f9fbbc107d799ed756dc16292f9864894
+SHA512 (z3-4.8.12.tar.gz) = 0b377923bdaffaca1846aa2abd61003bbecadfcdfc908ed3097d0aac8f32028ac39d93fb4a9c2e2c2bfffbdbee80aa415875f17de6c2ee2ae8e2b7921f788c6e
diff --git a/z3.spec b/z3.spec
index 86ca090..f670063 100644
--- a/z3.spec
+++ b/z3.spec
@@ -1,5 +1,5 @@
 Name:           z3
-Version:        4.8.11
+Version:        4.8.12
 Release:        1%{?dist}
 Summary:        Satisfiability Modulo Theories (SMT) solver
 
@@ -231,6 +231,9 @@ help2man -N -o %{buildroot}%{_mandir}/man1/%{name}.1 %{_vpath_builddir}/%{name}
 %{python3_sitelib}/%{name}/
 
 %changelog
+* Tue Jul 13 2021 Jerry James <loganjerry@gmail.com> - 4.8.12-1
+- Version 4.8.12
+
 * Sun Jun  6 2021 Jerry James <loganjerry@gmail.com> - 4.8.11-1
 - Version 4.8.11