diff --git a/zenon.spec b/zenon.spec
index 4080b82..b208d71 100644
--- a/zenon.spec
+++ b/zenon.spec
@@ -4,7 +4,7 @@
 
 Name:		zenon
 Version:	0.8.5
-Release:	40%{?dist}
+Release:	43%{?dist}
 Summary:	Automated theorem prover for first-order classical logic
 License:	BSD-3-Clause
 URL:		http://zenon-prover.org/
@@ -25,8 +25,6 @@ ExclusiveArch:  %{ocaml_native_compiler}
 BuildRequires:	coq-core-compat = %{rocqver}
 BuildRequires:	rocq = %{rocqver}
 BuildRequires:	rocq-stdlib
-BuildRequires:	ghostscript
-BuildRequires:	ImageMagick
 BuildRequires:	make
 BuildRequires:	ocaml
 
@@ -94,6 +92,15 @@ fi
 %{_mandir}/man5/zenon-format.5*
 
 %changelog
+* Wed Jul 29 2026 Jerry James <loganjerry@gmail.com> - 0.8.5-43
+- Rebuild to fix rocq dependencies
+
+* Fri Jul 17 2026 Fedora Release Engineering <releng@fedoraproject.org> - 0.8.5-42
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild
+
+* Thu Jul 09 2026 Jerry James <loganjerry@gmail.com> - 0.8.5-41
+- OCaml 5.5.0 rebuild
+
 * Thu Apr 16 2026 Jerry James <loganjerry@gmail.com> - 0.8.5-40
 - Rebuild for rocq 9.2.0