From d8b406fe9c052d327b7e547e59c9f38d554a66ec Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry@gmail.com>
Date: Thu, 14 Mar 2024 14:37:41 -0600
Subject: [PATCH] Version 4.13.0

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

diff --git a/sources b/sources
index 8c0844b..5cc3163 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-SHA512 (z3-4.12.6.tar.gz) = 10883877d20adbd229ad4bf65a9b50660d93d85514f933865f06920efd697f51ce34e502fbe451d4c1b2251f13d597050b8277036d4011d9c0f196111d681f8f
+SHA512 (z3-4.13.0.tar.gz) = 8503787fe0b18592b5a131bcec2cacfa5f5096d76386a1c4fda7a836e472924b154433306d27600ff0d0758ddb710c965901fbfc2e5605919b624b9d4d1bc4fd
diff --git a/z3.spec b/z3.spec
index 1c21a6d..3c41c3d 100644
--- a/z3.spec
+++ b/z3.spec
@@ -12,7 +12,7 @@
 %bcond test 0
 
 Name:           z3
-Version:        4.12.6
+Version:        4.13.0
 Release:        1%{?dist}
 Summary:        Satisfiability Modulo Theories (SMT) solver
 
@@ -268,7 +268,7 @@ cd -
 
 %files libs
 %license LICENSE.txt
-%{_libdir}/libz3.so.4.12*
+%{_libdir}/libz3.so.4.13*
 
 %files devel
 %{_includedir}/z3/
@@ -310,6 +310,9 @@ cd -
 %{python3_sitelib}/z3/
 
 %changelog
+* Thu Mar 14 2024 Jerry James <loganjerry@gmail.com> - 4.13.0-1
+- Version 4.13.0
+
 * Sun Feb 25 2024 Jerry James <loganjerry@gmail.com> - 4.12.6-1
 - Version 4.12.6