OCaml 5.2.1 rebuild for Fedora 41

zenon.spec

@@ -9,7 +9,7 @@ ExclusiveArch: %{ocaml_native_compiler}
 
 Name:		zenon
 Version:	0.8.5
-Release:	28%{?dist}
+Release:	29%{?dist}
 Summary:	Automated theorem prover for first-order classical logic
 License:	BSD-3-Clause
 URL:		http://zenon-prover.org/
@@ -97,6 +97,9 @@ fi
 %{_mandir}/man5/zenon-format.5*
 
 %changelog
+* Wed Jan 29 2025 Jerry James <loganjerry@gmail.com> - 0.8.5-29
+- OCaml 5.2.1 rebuild for Fedora 41
+
 * Sat Jul 20 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0.8.5-28
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild