From 42e82b1a863a9e0583c251f830260ce07c0db156 Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry@gmail.com>
Date: Sat, 21 Jan 2023 10:25:11 -0700
Subject: [PATCH] Version 4.12.1.

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

diff --git a/sources b/sources
index e96d62e..50bef42 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-SHA512 (z3-4.12.0.tar.gz) = 53a51c8304fa4356d13293f68b14d9d9eef57a0771c6698d38aea5fac62c4e52c41ff003cb6d771a32645d2aa4ef59be5f792f2efbee927d06ac8280094976e5
+SHA512 (z3-4.12.1.tar.gz) = 031fba9cc000a8da0025f95fa3f1c7519071d1b7775b377ff3192c505bb4c7e3d267da246c9ae68c940224e055a3c30571d2c0d7fbb042ec9a3d5849543a385c
diff --git a/z3.spec b/z3.spec
index 49c5fb7..d2354cf 100644
--- a/z3.spec
+++ b/z3.spec
@@ -15,8 +15,8 @@
 %bcond_with test
 
 Name:           z3
-Version:        4.12.0
-Release:        2%{?dist}
+Version:        4.12.1
+Release:        1%{?dist}
 Summary:        Satisfiability Modulo Theories (SMT) solver
 
 License:        MIT
@@ -290,6 +290,9 @@ cd -
 %{python3_sitelib}/z3/
 
 %changelog
+* Sat Jan 21 2023 Jerry James <loganjerry@gmail.com> - 4.12.1-1
+- Version 4.12.1
+
 * Sat Jan 21 2023 Fedora Release Engineering <releng@fedoraproject.org> - 4.12.0-2
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild