From 5a5b54780466a11bb8b117c6019beb81c51524fa Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Wed, 2 Sep 2020 23:42:22 +0100 Subject: [PATCH 1/4] Bump release and rebuild. --- zenon.spec | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/zenon.spec b/zenon.spec index b8c04f9..032dd00 100644 --- a/zenon.spec +++ b/zenon.spec @@ -5,7 +5,7 @@ Name: zenon Version: 0.8.4 -Release: 17%{?dist} +Release: 17%{?dist}.1 Summary: Automated theorem prover for first-order classical logic License: BSD URL: http://zenon-prover.org/ @@ -98,6 +98,9 @@ fi %{_mandir}/man5/* %changelog +* Wed Sep 02 2020 Richard W.M. Jones - 0.8.4-17.1 +- Bump release and rebuild. + * Wed Sep 02 2020 Richard W.M. Jones - 0.8.4-17 - OCaml 4.11.1 rebuild From 600cf4803673f071bc3c8f8f09397869b5c164ca Mon Sep 17 00:00:00 2001 From: Jerry James Date: Mon, 9 Nov 2020 21:38:54 -0700 Subject: [PATCH 2/4] Explicitly BR make. --- zenon.spec | 1 + 1 file changed, 1 insertion(+) diff --git a/zenon.spec b/zenon.spec index 032dd00..1716efb 100644 --- a/zenon.spec +++ b/zenon.spec @@ -27,6 +27,7 @@ ExcludeArch: s390x BuildRequires: coq = %{coqver} BuildRequires: ghostscript-core BuildRequires: ImageMagick +BuildRequires: make BuildRequires: ocaml Requires: coq%{?_isa} = %{coqver} From 6d1d5c244f9fc7ae0761406ba1259addd2879c52 Mon Sep 17 00:00:00 2001 From: Jerry James Date: Wed, 2 Dec 2020 16:12:08 -0700 Subject: [PATCH 3/4] Rebuild for coq 8.12.1. --- zenon.spec | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/zenon.spec b/zenon.spec index 1716efb..54cdfb2 100644 --- a/zenon.spec +++ b/zenon.spec @@ -1,11 +1,11 @@ %ifnarch %{ocaml_native_compiler} %global debug_package %{nil} %endif -%global coqver 8.12.0 +%global coqver 8.12.1 Name: zenon Version: 0.8.4 -Release: 17%{?dist}.1 +Release: 18%{?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 Dec 2 2020 Jerry James - 0.8.4-18 +- Rebuild for coq 8.12.1 + * Wed Sep 02 2020 Richard W.M. Jones - 0.8.4-17.1 - Bump release and rebuild. From db886e0d578fa2793efb01532e1da25252a50aa4 Mon Sep 17 00:00:00 2001 From: Jerry James Date: Wed, 23 Dec 2020 20:03:11 -0700 Subject: [PATCH 4/4] Rebuild for coq 8.12.2. --- zenon.spec | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/zenon.spec b/zenon.spec index 54cdfb2..4cdf784 100644 --- a/zenon.spec +++ b/zenon.spec @@ -1,11 +1,11 @@ %ifnarch %{ocaml_native_compiler} %global debug_package %{nil} %endif -%global coqver 8.12.1 +%global coqver 8.12.2 Name: zenon Version: 0.8.4 -Release: 18%{?dist} +Release: 19%{?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 Dec 23 2020 Jerry James - 0.8.4-19 +- Rebuild for coq 8.12.2 + * Wed Dec 2 2020 Jerry James - 0.8.4-18 - Rebuild for coq 8.12.1