From 882b89e6e880547c6465a942d419b3ea3817f3e5 Mon Sep 17 00:00:00 2001 From: Jerry James Date: Wed, 20 May 2020 14:34:41 -0600 Subject: [PATCH 1/2] Rebuild for coq 8.11.1. --- zenon.spec | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/zenon.spec b/zenon.spec index 72edabc..03d6959 100644 --- a/zenon.spec +++ b/zenon.spec @@ -1,11 +1,11 @@ %ifnarch %{ocaml_native_compiler} %global debug_package %{nil} %endif -%global coqver 8.11.0 +%global coqver 8.11.1 Name: zenon Version: 0.8.4 -Release: 9%{?dist} +Release: 10%{?dist} Summary: Automated theorem prover for first-order classical logic License: BSD URL: http://zenon-prover.org/ @@ -93,6 +93,9 @@ fi %{_mandir}/man5/* %changelog +* Wed May 20 2020 Jerry James - 0.8.4-10 +- Rebuild for coq 8.11.1 + * Mon Mar 23 2020 Jerry James - 0.8.4-9 - Rebuild for coq 8.11.0 From 05bcdfc5b3443dd6ae9789d65df9f028504c119a Mon Sep 17 00:00:00 2001 From: Jerry James Date: Tue, 16 Jun 2020 09:47:03 -0600 Subject: [PATCH 2/2] Rebuild for coq 8.11.2. --- zenon.spec | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/zenon.spec b/zenon.spec index 03d6959..3d23a37 100644 --- a/zenon.spec +++ b/zenon.spec @@ -1,11 +1,11 @@ %ifnarch %{ocaml_native_compiler} %global debug_package %{nil} %endif -%global coqver 8.11.1 +%global coqver 8.11.2 Name: zenon Version: 0.8.4 -Release: 10%{?dist} +Release: 11%{?dist} Summary: Automated theorem prover for first-order classical logic License: BSD URL: http://zenon-prover.org/ @@ -93,6 +93,9 @@ fi %{_mandir}/man5/* %changelog +* Mon Jun 15 2020 Jerry James - 0.8.4-11 +- Rebuild for coq 8.11.2 + * Wed May 20 2020 Jerry James - 0.8.4-10 - Rebuild for coq 8.11.1