OCaml 5.2.1 rebuild for Fedora 41

- Version 4.13.4
2025-01-29 07:02:31 -07:00
2 changed files with 2 additions and 2 deletions
--- a/2
+++ b/2
@ -1 +1 @@
-SHA512 (z3-4.13.3.tar.gz) = c899f57d8cb5450801463b07cd651869d766a920e41a4beedc96c4978e940bfadff9af2fbbb5ba10f94f6742bb33f7abaca0a351f3e1803d778e84d735d6829e
+SHA512 (z3-4.13.4.tar.gz) = fd554122f3bb65e5d6622e2e331546d24892dfd3e5310bc4e041bd1c61fecfe53dbb487e4b125d87367338cacc9e06f28c71f380aac5fe8a74f4b45aaa27b6ce
--- 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