From 690b763b983f1a9ec4252d659fefa13539182a96 Mon Sep 17 00:00:00 2001 From: Jerry James Date: Thu, 9 Jul 2026 16:29:13 -0600 Subject: [PATCH 1/3] OCaml 5.5.0 rebuild --- zenon.spec | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/zenon.spec b/zenon.spec index 4080b82..0e57e4d 100644 --- a/zenon.spec +++ b/zenon.spec @@ -4,7 +4,7 @@ Name: zenon Version: 0.8.5 -Release: 40%{?dist} +Release: 41%{?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,9 @@ fi %{_mandir}/man5/zenon-format.5* %changelog +* Thu Jul 09 2026 Jerry James - 0.8.5-41 +- OCaml 5.5.0 rebuild + * Thu Apr 16 2026 Jerry James - 0.8.5-40 - Rebuild for rocq 9.2.0 From d706603ef8efc78e7c4db8b6a8d0a621eea92adb Mon Sep 17 00:00:00 2001 From: Fedora Release Engineering Date: Fri, 17 Jul 2026 09:39:45 +0000 Subject: [PATCH 2/3] Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild --- zenon.spec | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/zenon.spec b/zenon.spec index 0e57e4d..7f5fe8b 100644 --- a/zenon.spec +++ b/zenon.spec @@ -4,7 +4,7 @@ Name: zenon Version: 0.8.5 -Release: 41%{?dist} +Release: 42%{?dist} Summary: Automated theorem prover for first-order classical logic License: BSD-3-Clause URL: http://zenon-prover.org/ @@ -92,6 +92,9 @@ fi %{_mandir}/man5/zenon-format.5* %changelog +* Fri Jul 17 2026 Fedora Release Engineering - 0.8.5-42 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild + * Thu Jul 09 2026 Jerry James - 0.8.5-41 - OCaml 5.5.0 rebuild From 89d4ce2b46abd5ecae0cf7347256acd9ac5c52a9 Mon Sep 17 00:00:00 2001 From: Jerry James Date: Wed, 29 Jul 2026 12:07:50 -0600 Subject: [PATCH 3/3] Rebuild to fix rocq dependencies --- zenon.spec | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/zenon.spec b/zenon.spec index 7f5fe8b..b208d71 100644 --- a/zenon.spec +++ b/zenon.spec @@ -4,7 +4,7 @@ Name: zenon Version: 0.8.5 -Release: 42%{?dist} +Release: 43%{?dist} Summary: Automated theorem prover for first-order classical logic License: BSD-3-Clause URL: http://zenon-prover.org/ @@ -92,6 +92,9 @@ fi %{_mandir}/man5/zenon-format.5* %changelog +* Wed Jul 29 2026 Jerry James - 0.8.5-43 +- Rebuild to fix rocq dependencies + * Fri Jul 17 2026 Fedora Release Engineering - 0.8.5-42 - Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild