From 4166e7928043419ddd6fbf7349d51137505bf245 Mon Sep 17 00:00:00 2001 From: Jerry James Date: Wed, 3 Mar 2021 13:46:46 -0700 Subject: [PATCH 1/2] Rebuild for coq 8.13.1. --- zenon.spec | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/zenon.spec b/zenon.spec index 2a627bf..a73234f 100644 --- a/zenon.spec +++ b/zenon.spec @@ -1,11 +1,11 @@ %ifnarch %{ocaml_native_compiler} %global debug_package %{nil} %endif -%global coqver 8.13.0 +%global coqver 8.13.1 Name: zenon Version: 0.8.4 -Release: 21%{?dist} +Release: 22%{?dist} Summary: Automated theorem prover for first-order classical logic License: BSD URL: http://zenon-prover.org/ @@ -99,6 +99,9 @@ fi %{_mandir}/man5/* %changelog +* Wed Mar 3 2021 Jerry James - 0.8.4-22 +- Rebuild for coq 8.13.1 + * Sat Feb 20 2021 Jerry James - 0.8.4-21 - Rebuild for coq 8.13.0 From 1ed21bd3e4512223e4859142e7a3bfb2c920ed43 Mon Sep 17 00:00:00 2001 From: Jerry James Date: Sat, 12 Jun 2021 15:18:14 -0600 Subject: [PATCH 2/2] Rebuild for coq 8.13.2. --- zenon.spec | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/zenon.spec b/zenon.spec index a73234f..4e22de0 100644 --- a/zenon.spec +++ b/zenon.spec @@ -1,11 +1,11 @@ %ifnarch %{ocaml_native_compiler} %global debug_package %{nil} %endif -%global coqver 8.13.1 +%global coqver 8.13.2 Name: zenon Version: 0.8.4 -Release: 22%{?dist} +Release: 23%{?dist} Summary: Automated theorem prover for first-order classical logic License: BSD URL: http://zenon-prover.org/ @@ -25,7 +25,7 @@ Patch1: %{name}-ocaml.patch ExcludeArch: s390x BuildRequires: coq = %{coqver} -BuildRequires: ghostscript-core +BuildRequires: ghostscript BuildRequires: ImageMagick BuildRequires: make BuildRequires: ocaml @@ -99,6 +99,9 @@ fi %{_mandir}/man5/* %changelog +* Tue Jun 8 2021 Jerry James - 0.8.4-23 +- Rebuild for coq 8.13.2 + * Wed Mar 3 2021 Jerry James - 0.8.4-22 - Rebuild for coq 8.13.1