zenon.spec

@@ -4,7 +4,7 @@
 
 Name:		zenon
 Version:	0.8.5
-Release:	43%{?dist}
+Release:	40%{?dist}
 Summary:	Automated theorem prover for first-order classical logic
 License:	BSD-3-Clause
 URL:		http://zenon-prover.org/
@@ -25,6 +25,8 @@ ExclusiveArch:  %{ocaml_native_compiler}
 BuildRequires:	coq-core-compat = %{rocqver}
 BuildRequires:	rocq = %{rocqver}
 BuildRequires:	rocq-stdlib
+BuildRequires:	ghostscript
+BuildRequires:	ImageMagick
 BuildRequires:	make
 BuildRequires:	ocaml
 
@@ -92,15 +94,6 @@ 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