From 91c848ba1e2f55e8b5a5bc11999c36855c4f45b7 Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry@gmail.com>
Date: Wed, 29 Jan 2025 07:02:31 -0700
Subject: [PATCH] OCaml 5.2.1 rebuild for Fedora 41

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

diff --git a/sources b/sources
index 5d76ed9..979efb1 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-SHA512 (z3-4.13.3.tar.gz) = c899f57d8cb5450801463b07cd651869d766a920e41a4beedc96c4978e940bfadff9af2fbbb5ba10f94f6742bb33f7abaca0a351f3e1803d778e84d735d6829e
+SHA512 (z3-4.13.4.tar.gz) = fd554122f3bb65e5d6622e2e331546d24892dfd3e5310bc4e041bd1c61fecfe53dbb487e4b125d87367338cacc9e06f28c71f380aac5fe8a74f4b45aaa27b6ce
diff --git a/z3.spec b/z3.spec
index 885ec05..ae0a3c8 100644
--- a/z3.spec
+++ b/z3.spec
@@ -14,7 +14,7 @@
 %global giturl  https://github.com/Z3Prover/z3
 
 Name:           z3
-Version:        4.13.3
+Version:        4.13.4
 Release:        %autorelease
 Summary:        Satisfiability Modulo Theories (SMT) solver