Rebuild to fix rocq dependencies

Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild
OCaml 5.5.0 rebuild
2026-07-29 12:07:50 -06:00 · 2026-07-17 09:39:45 +00:00 · 2026-07-09 16:29:13 -06:00 · 2026-04-16 11:36:07 -06:00 · 2026-03-19 21:25:57 -06:00 · 2026-02-20 23:46:15 +00:00
4 changed files with 287 additions and 29 deletions
--- a/README.md
+++ b/README.md
@ -0,0 +1,9 @@
+# zenon
+
+Zenon is an extensible authomated theorem prover whose main claim to fame is
+that it produces actual proofs of theorems.  Correctness is an explicit
+non-goal in the design of Zenon: the proof output needs to be checked by
+another program before the theorem is considered proved.  As a consequence,
+Zenon is not designed for direct use by humans, but rather for interfacing
+into formal proof systems, such as interactive proof assistants and
+non-interactive proof checkers.
--- a/2
+++ b/2
@ -1,2 +1,2 @@
-SHA512 (zenon-0.8.4.tar.gz) = a60ad321e7eedc00390d11ff91f25d64c7a3fe2eafa23a330e345df02a30ca6964a40e4495b7eeb25e19ed9b7f61b65772c3184ff2b2f85b03e63dc481645e91
+SHA512 (zenon-0.8.5.tar.gz) = dc97cc02bcc2e76a1130f4f7e44ba9839126b5e15f4488ac32d47aef330cbb9ea8c2f1b34f8543ed243587e95848a7187c003a300feed0da64ec81f4501b3bdb
 SHA512 (zenlpar07.pdf) = f8a24ba1c32015ea315946042b39f0b629094553097f43c8fb37041450d39b64e3a781006bdcbae42919104907efec9f0cf065d675f3ff09af891d9d28c2549f
--- a/zenon-deprecated.patch
+++ b/zenon-deprecated.patch
@ -0,0 +1,34 @@
+--- zenon-0.8.5/zenon_coqbool.v.orig	2020-10-23 09:19:07.000000000 -0600
+++ zenon-0.8.5/zenon_coqbool.v	2026-03-03 16:33:33.636474063 -0700
+@@ -1,6 +1,6 @@
+ (*  Copyright 2004 INRIA  *)
+ 
+-Require Export Bool.
+From Stdlib Require Export Bool.
+ 
+ Definition __g_not_b := negb.
+ Definition __g_and_b := andb.
+--- zenon-0.8.5/zenon_focal.v.orig	2020-10-23 09:19:07.000000000 -0600
+++ zenon-0.8.5/zenon_focal.v	2026-03-03 16:34:30.531982864 -0700
+@@ -1,8 +1,8 @@
+ (*  Copyright 2004 INRIA  *)
+ 
+-Require Export Bool.
+-Require Import ClassicalEpsilon.
+-Require List.
+From Stdlib Require Export Bool.
+From Stdlib Require Import ClassicalEpsilon.
+From Stdlib Require List.
+ 
+ (* magic: this whole file depends on the following definitions:
+    basics.and_b := andb
+--- zenon-0.8.5/zenon.v.orig	2020-10-23 09:19:07.000000000 -0600
+++ zenon-0.8.5/zenon.v	2026-03-03 16:33:06.988515450 -0700
+@@ -1,6 +1,6 @@
+ (*  Copyright 2004 INRIA  *)
+ 
+-Require Export Classical.
+From Stdlib Require Export Classical.
+ 
+ Lemma zenon_notnot : forall P : Prop,
+   P -> (~ P -> False).
--- a/zenon.spec
+++ b/zenon.spec
@ -1,39 +1,46 @@
-%ifnarch %{ocaml_native_compiler}
 %global debug_package %{nil}
-%endif
-%global coqver 8.8.2
+%global rocqver 9.2.0
+%global giturl  https://github.com/zenon-prover/zenon

 Name:		zenon
-Version:	0.8.4
-Release:	2%{?dist}
+Version:	0.8.5
+Release:	43%{?dist}
 Summary:	Automated theorem prover for first-order classical logic
-License:	BSD
+License:	BSD-3-Clause
 URL:		http://zenon-prover.org/
-Source0:	https://github.com/zenon-prover/%{name}/archive/%{version}/%{name}-%{version}.tar.gz
+VCS:		git:%{giturl}.git
+Source0:	%{giturl}/archive/%{version}/%{name}-%{version}.tar.gz
 Source1:	http://zenon-prover.org/zenlpar07.pdf
 Source2:	%{name}-tptp-COM003+2.p
 Source3:	%{name}-tptp-ReadMe
 # Basic documentation (man pages). Submitted upstream 2008-07-25:
 Source4:	%{name}.1
 Source5:	%{name}-format.5
+# Update deprecated usage
+Patch:          %{name}-deprecated.patch

-BuildRequires:	coq = %{coqver}
-BuildRequires:	ghostscript
-BuildRequires:	ImageMagick
+# Rocq's plugin architecture requires cmxs files
+ExclusiveArch:  %{ocaml_native_compiler}
+
+BuildRequires:	coq-core-compat = %{rocqver}
+BuildRequires:	rocq = %{rocqver}
+BuildRequires:	rocq-stdlib
+BuildRequires:	make
 BuildRequires:	ocaml

-Requires:	coq%{?_isa} = %{coqver}
+Requires:	rocq%{?_isa} = %{rocqver}
+Requires:	rocq-stdlib%{?_isa}
 Requires:	coreutils

 %description
-Zenon is an automated theorem prover for first order classical logic
-with equality, based on the tableau method.  Zenon can read input files
-in TPTP, Coq, Focal, and its own Zenon format.  Zenon can directly
-generate Coq proofs (proof scripts or proof terms), which can be
-reinserted into Coq specifications.  Zenon can also be extended.
+Zenon is an automated theorem prover for first order classical logic with
+equality, based on the tableau method.  Zenon can read input files in TPTP,
+Coq, Focal, and its own Zenon format.  Zenon can directly generate Coq proofs
+(proof scripts or proof terms), which can be reinserted into Coq
+specifications.  Zenon can also be extended.

 %prep
-%setup -q
+%autosetup -p1

 cp -p %{SOURCE1} .

@ -47,19 +54,13 @@ mkdir examples
 cp -p %{SOURCE2} examples/tptp-COM003+2.p
 cp -p %{SOURCE3} examples/tptp-ReadMe

-# Work around Makefile errors (fails if no ocamlopt, uses _bytecode_ otherwise)
-%ifarch %{ocaml_native_compiler}
-  make %{?_smp_mflags} zenon.bin
-  cp -p zenon.bin zenon
-%else
-  make %{?_smp_mflags} zenon.byt
-  cp -p zenon.byt zenon
-%endif
+make %{?_smp_mflags} zenon.bin
+cp -p zenon.bin zenon
 # Use of %%{?_smp_mflags} sometimes leads to build failures
 make coq

 %install
-make install DESTDIR=%{buildroot}
+%make_install

 install -d %{buildroot}%{_mandir}/man1/
 install -d %{buildroot}%{_mandir}/man5/
@ -87,10 +88,224 @@ fi
 %license LICENSE
 %{_bindir}/%{name}
 %{_libdir}/coq/user-contrib/Zenon
-%{_mandir}/man1/*
-%{_mandir}/man5/*
+%{_mandir}/man1/zenon.1*
+%{_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
+
+* Thu Mar 19 2026 Jerry James <loganjerry@gmail.com> - 0.8.5-39
+- Rebuild for rocq 9.1.1
+
+* Fri Feb 20 2026 Richard W.M. Jones <rjones@redhat.com> - 0.8.5-38
+- OCaml 5.4.1 rebuild
+
+* Sat Jan 17 2026 Fedora Release Engineering <releng@fedoraproject.org> - 0.8.5-37
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild
+
+* Tue Oct 14 2025 Richard W.M. Jones <rjones@redhat.com> - 0.8.5-36
+- OCaml 5.4.0 rebuild
+
+* Fri Aug 22 2025 Jerry James <loganjerry@gmail.com> - 0.8.5-35
+- Bump and rebuild
+
+* Sun Aug 10 2025 Jerry James <loganjerry@gmail.com> - 0.8.5-34
+- Bump and rebuild
+
+* Fri Jul 25 2025 Fedora Release Engineering <releng@fedoraproject.org> - 0.8.5-33
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild
+
+* Sat Jul 12 2025 Jerry James <loganjerry@gmail.com> - 0.8.5-32
+- Rebuild to fix OCaml dependencies
+
+* Wed Jan 22 2025 Jerry James <loganjerry@gmail.com> - 0.8.5-31
+- Rebuild for coq 8.20.1
+
+* Sun Jan 19 2025 Fedora Release Engineering <releng@fedoraproject.org> - 0.8.5-30
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild
+
+* Fri Jan 10 2025 Jerry James <loganjerry@gmail.com> - 0.8.5-29
+- OCaml 5.3.0 rebuild for Fedora 42
+
+* Sat Jul 20 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0.8.5-28
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
+
+* Wed Jun 19 2024 Richard W.M. Jones <rjones@redhat.com> - 0.8.5-27
+- OCaml 5.2.0 ppc64le fix
+
+* Wed May 29 2024 Richard W.M. Jones <rjones@redhat.com> - 0.8.5-26
+- OCaml 5.2.0 for Fedora 41
+
+* Fri Feb  2 2024 Jerry James <loganjerry@gmail.com> - 0.8.5-25
+- Rebuild for rebuilt coq
+
+* Sat Jan 27 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0.8.5-24
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
+
+* Tue Jan  2 2024 Jerry James <loganjerry@gmail.com> - 0.8.5-23
+- Rebuild for coq 8.18.0
+
+* Mon Dec 18 2023 Richard W.M. Jones <rjones@redhat.com> - 0.8.5-22
+- OCaml 5.1.1 + s390x code gen fix for Fedora 40
+
+* Tue Dec 12 2023 Richard W.M. Jones <rjones@redhat.com> - 0.8.5-21
+- OCaml 5.1.1 rebuild for Fedora 40
+
+* Thu Oct 05 2023 Richard W.M. Jones <rjones@redhat.com> - 0.8.5-20
+- OCaml 5.1 rebuild for Fedora 40
+
+* Thu Jul 27 2023 Jerry James <loganjerry@gmail.com> - 0.8.5-19
+- Rebuild for ocaml-zarith 1.13
+
+* Sat Jul 22 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0.8.5-18
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
+
+* Wed Jul 12 2023 Richard W.M. Jones <rjones@redhat.com> - 0.8.5-17
+- OCaml 5.0 rebuild for Fedora 39
+
+* Mon Jul 10 2023 Jerry James <loganjerry@gmail.com> - 0.8.5-16
+- OCaml 5.0.0 rebuild
+
+* Sat Apr  1 2023 Jerry James <loganjerry@gmail.com> - 0.8.5-15
+- Rebuild for coq 8.17.0
+
+* Tue Jan 24 2023 Richard W.M. Jones <rjones@redhat.com> - 0.8.5-14
+- Bump release and rebuild
+
+* Tue Jan 24 2023 Richard W.M. Jones <rjones@redhat.com> - 0.8.5-13
+- Rebuild OCaml packages for F38
+
+* Sat Jan 21 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0.8.5-12
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
+
+* Sat Nov 26 2022 Jerry James <loganjerry@gmail.com> - 0.8.5-11
+- Rebuild for coq 8.16.1
+
+* Fri Sep 16 2022 Jerry James <loganjerry@gmail.com> - 0.8.5-10
+- Rebuild for coq 8.16.0
+
+* Thu Aug 18 2022 Jerry James <loganjerry@gmail.com> - 0.8.5-9
+- Rebuild to fix coq dependency
+- Convert License tag to SPDX
+
+* Sat Jul 23 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.8.5-8
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
+
+* Wed Jul 20 2022 Jerry James <loganjerry@gmail.com> - 0.8.5-7
+- Remove i686 support
+
+* Sun Jun 19 2022 Richard W.M. Jones <rjones@redhat.com> - 0.8.5-7
+- OCaml 4.14.0 rebuild
+
+* Fri Mar 25 2022 Jerry James <loganjerry@gmail.com> - 0.8.5-6
+- Rebuild for coq 8.15.1
+
+* Mon Feb 28 2022 Jerry James <loganjerry@gmail.com> - 0.8.5-5
+- Rebuild for coq 8.15.0
+
+* Fri Feb 04 2022 Richard W.M. Jones <rjones@redhat.com> - 0.8.5-4
+- OCaml 4.13.1 rebuild to remove package notes
+
+* Sat Jan 22 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.8.5-3
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
+
+* Tue Nov 30 2021 Jerry James <loganjerry@gmail.com> - 0.8.5-2
+- Rebuild for coq 8.14.1
+
+* Thu Oct 21 2021 Jerry James <loganjerry@gmail.com> - 0.8.5-1
+- Version 0.8.5
+- Drop upstreamed -coq89 and -ocaml patches
+
+* Tue Oct 05 2021 Richard W.M. Jones <rjones@redhat.com> - 0.8.4-27
+- OCaml 4.13.1 build
+
+* Mon Oct 04 2021 Richard W.M. Jones <rjones@redhat.com> - 0.8.4-26
+- Try to build on s390x with OCaml 4.13
+
+* Fri Jul 23 2021 Fedora Release Engineering <releng@fedoraproject.org> - 0.8.4-25
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
+
+* Tue Jun  8 2021 Jerry James <loganjerry@gmail.com> - 0.8.4-24
+- Rebuild for coq 8.13.2
+
+* Wed Mar  3 2021 Jerry James <loganjerry@gmail.com> - 0.8.4-23
+- Rebuild for coq 8.13.1
+
+* Tue Mar  2 11:03:37 GMT 2021 Richard W.M. Jones <rjones@redhat.com> - 0.8.4-22
+- OCaml 4.12.0 build
+
+* Sat Feb 20 2021 Jerry James <loganjerry@gmail.com> - 0.8.4-21
+- Rebuild for coq 8.13.0
+
+* Thu Jan 28 2021 Fedora Release Engineering <releng@fedoraproject.org> - 0.8.4-20
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
+
+* Wed Dec 23 2020 Jerry James <loganjerry@gmail.com> - 0.8.4-19
+- Rebuild for coq 8.12.2
+
+* Wed Dec  2 2020 Jerry James <loganjerry@gmail.com> - 0.8.4-18
+- Rebuild for coq 8.12.1
+
+* Wed Sep 02 2020 Richard W.M. Jones <rjones@redhat.com> - 0.8.4-17
+- OCaml 4.11.1 rebuild
+
+* Tue Sep  1 2020 Jerry James <loganjerry@gmail.com> - 0.8.4-16
+- Rebuild for coq 8.12.0
+
+* Sat Aug 22 2020 Richard W.M. Jones <rjones@redhat.com> - 0.8.4-16
+- OCaml 4.11.0 rebuild
+
+* Sat Aug 01 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.8.4-15
+- Second attempt - Rebuilt for
+  https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
+
+* Wed Jul 29 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.8.4-14
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
+
+* Mon Jun 15 2020 Jerry James <loganjerry@gmail.com> - 0.8.4-13
+- Rebuild for coq 8.11.2
+
+* Wed May 20 2020 Jerry James <loganjerry@gmail.com> - 0.8.4-12
+- Rebuild for coq 8.11.1
+
+* Tue May 05 2020 Richard W.M. Jones <rjones@redhat.com> - 0.8.4-11
+- OCaml 4.11.0+dev2-2020-04-22 rebuild
+
+* Sat Apr 04 2020 Richard W.M. Jones <rjones@redhat.com> - 0.8.4-10
+- Update all OCaml dependencies for RPM 4.16.
+
+* Mon Mar 23 2020 Jerry James <loganjerry@gmail.com> - 0.8.4-9
+- Rebuild for coq 8.11.0
+
+* Fri Jan 31 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.8.4-8
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
+
+* Wed Jan 22 2020 Jerry James <loganjerry@gmail.com> - 0.8.4-7
+- OCaml 4.10.0+beta1 rebuild.
+
+* Fri Sep  6 2019 Jerry James <loganjerry@gmail.com> - 0.8.4-6
+- OCaml 4.08.1 (final) rebuild.
+
+* Thu Aug  1 2019 Jerry James <loganjerry@gmail.com> - 0.8.4-5
+- OCaml 4.08.1 (rc2) rebuild.
+
+* Sat Jul 27 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.8.4-4
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
+
+* Wed Jun  5 2019 Jerry James <loganjerry@gmail.com> - 0.8.4-3
+- Rebuild for coq 8.9.1
+- Add -coq89 patch to adapt to coq 8.9.x
+
 * Sun Feb 03 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.8.4-2
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
Author	SHA1	Message	Date
Jerry James	89d4ce2b46	Rebuild to fix rocq dependencies	2026-07-29 12:07:50 -06:00
Fedora Release Engineering	d706603ef8	Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild	2026-07-17 09:39:45 +00:00
Jerry James	690b763b98	OCaml 5.5.0 rebuild	2026-07-09 16:29:13 -06:00
Jerry James	908bb57416	Rebuild for rocq 9.2.0	2026-04-16 11:36:07 -06:00
Jerry James	bb037f14a5	Rebuild for rocq 9.1.1 - Add patch to avoid deprecated usage	2026-03-19 21:25:57 -06:00
Richard W.M. Jones	47d0c43b0f	OCaml 5.4.1 rebuild	2026-02-20 23:46:15 +00:00
Fedora Release Engineering	67507a4ddf	Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild	2026-01-17 21:07:24 +00:00
Jerry James	79034fa8b3	Reflow the description text - Fix a changelog entry	2026-01-14 08:54:02 -07:00
Richard W.M. Jones	d38321127a	OCaml 5.4.0 rebuild	2025-10-14 09:53:32 +01:00
Jerry James	fe5842f5b3	Bump and rebuild	2025-08-22 09:47:09 -06:00
Jerry James	aa00da82f4	Bump and rebuild	2025-08-10 10:42:50 -06:00
Fedora Release Engineering	1eb3c4026c	Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild	2025-07-25 21:17:24 +00:00
Jerry James	96afada8f4	Rebuild to fix OCaml dependencies	2025-07-12 15:21:01 -06:00
Jerry James	b9a87dfa9e	Rebuild for coq 8.20.1	2025-01-22 15:37:14 -07:00
Fedora Release Engineering	673cd36b69	Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild	2025-01-19 16:44:12 +00:00
Jerry James	6033d8718c	OCaml 5.3.0 rebuild for Fedora 42	2025-01-10 09:44:49 -07:00
Fedora Release Engineering	fcec17e073	Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild	2024-07-20 10:50:29 +00:00
Jerry James	0e1bdbf94c	Fix the VCS field	2024-07-17 16:21:12 -06:00
Richard W.M. Jones	8454349e2c	OCaml 5.2.0 ppc64le fix	2024-06-19 19:12:48 +01:00
Richard W.M. Jones	948431df64	OCaml 5.2.0 for Fedora 41	2024-05-29 22:47:06 +01:00
Jerry James	070ecc9208	Add VCS field	2024-05-23 12:14:12 -06:00
Jerry James	7cb80570d2	Rebuild for rebuilt coq	2024-02-02 16:29:48 -07:00
Fedora Release Engineering	c20aee4465	Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild	2024-01-27 11:04:22 +00:00
Jerry James	05c59effb8	Rebuild for coq 8.18.0	2024-01-02 12:12:15 -07:00
Richard W.M. Jones	f4b2af69e5	OCaml 5.1.1 + s390x code gen fix for Fedora 40	2023-12-18 15:30:14 +00:00
Richard W.M. Jones	960aa15941	OCaml 5.1.1 rebuild for Fedora 40	2023-12-12 15:40:57 +00:00
Richard W.M. Jones	b6424d4192	OCaml 5.1 rebuild for Fedora 40	2023-10-05 16:22:39 +01:00
Jerry James	1ab224eb57	Rebuild for ocaml-zarith 1.13	2023-07-27 11:17:07 -06:00
Fedora Release Engineering	a2bfad11f3	Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>	2023-07-22 19:39:29 +00:00
Richard W.M. Jones	e7453e73da	Comment out duplicate ExclusiveArch	2023-07-12 19:24:41 +01:00
Richard W.M. Jones	a637011ec7	Only build coq and friends on architectures with the native compiler	2023-07-12 17:10:30 +01:00
Richard W.M. Jones	9c7af797f2	OCaml 5.0 rebuild for Fedora 39	2023-07-12 13:59:55 +01:00
Richard W.M. Jones	561f0e6b79	ExcludeArch i686 (https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org/message/SPML7CUBSZNI36NLXGVHEG7DNHU3EWOJ/)	2023-07-11 11:36:26 +01:00
Jerry James	ab192c62d7	OCaml 5.0.0 rebuild	2023-07-10 22:37:44 -06:00
Jerry James	7752543009	Rebuild for coq 8.17.0	2023-04-01 11:13:17 -06:00
Richard W.M. Jones	5c70bc1fc8	Bump release and rebuild	2023-01-24 17:42:04 +00:00
Richard W.M. Jones	390c2385d6	Rebuild OCaml packages for F38	2023-01-24 16:39:07 +00:00
Fedora Release Engineering	1bd0810981	Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>	2023-01-21 08:14:09 +00:00
Jerry James	84a2c3338c	Rebuild for coq 8.16.1.	2022-11-26 18:25:07 -07:00
Jerry James	55a46f7b3c	Rebuild for coq 8.16.0.	2022-09-16 14:44:18 -06:00
Jerry James	1afb2f771b	Rebuild to fix coq dependency. Convert License tag to SPDX.	2022-08-18 09:37:46 -06:00
Fedora Release Engineering	63d0ec4ac1	Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>	2022-07-23 13:53:34 +00:00
Jerry James	e297811a57	Remove i686 support.	2022-07-19 18:20:25 -06:00
Richard W.M. Jones	a3b562b1d2	Update coq version to 8.15.2	2022-06-19 18:27:22 +01:00
Richard W.M. Jones	92b3b38506	OCaml 4.14.0 rebuild	2022-06-19 11:40:24 +01:00
Jerry James	388a4c5f10	Rebuild for coq 8.15.1.	2022-03-25 11:40:29 -06:00
Jerry James	62ad34fcdc	Rebuild for coq 8.15.0.	2022-02-28 19:35:15 -07:00
Richard W.M. Jones	c55b03b328	OCaml 4.13.1 rebuild to remove package notes	2022-02-04 17:36:09 +00:00
Fedora Release Engineering	999621128e	- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>	2022-01-22 05:49:58 +00:00
Jerry James	b58f937d3c	Rebuild for coq 8.14.1.	2021-11-30 13:19:10 -07:00
Jerry James	34ece0b6b3	Version 0.8.5. Drop upstreamed -coq89 and -ocaml patches.	2021-10-21 11:32:51 -06:00
Richard W.M. Jones	0242d4ce54	OCaml 4.13.1 build	2021-10-05 15:03:26 +01:00
Richard W.M. Jones	0fd21d5256	Try to build on s390x with OCaml 4.13	2021-10-04 18:23:52 +01:00
Fedora Release Engineering	e5c4ed1bc3	- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>	2021-07-23 22:16:19 +00:00
Jerry James	76c325bae8	Rebuild for coq 8.13.2.	2021-06-12 15:18:14 -06:00
Jerry James	0fb275fe8c	Rebuild for coq 8.13.1.	2021-03-03 13:46:46 -07:00
Richard W.M. Jones	cb886e1410	OCaml 4.12.0 build	2021-03-02 11:03:38 +00:00
Jerry James	08ef82895e	Rebuild for coq 8.13.0.	2021-02-20 23:41:46 -07:00
Fedora Release Engineering	f725979dd5	- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>	2021-01-28 00:40:35 +00:00
Jerry James	75f6efcd60	Rebuild for coq 8.12.2.	2020-12-23 20:03:11 -07:00
Jerry James	9ae522ced1	Rebuild for coq 8.12.1.	2020-12-02 16:12:08 -07:00
Jerry James	cb45e33f6f	Explicitly BR make.	2020-11-09 21:38:54 -07:00
Richard W.M. Jones	3bb73d6550	OCaml 4.11.1 rebuild	2020-09-02 16:41:47 +01:00
Richard W.M. Jones	f362028353	ExcludeArch s390x (see RHBZ#1874879).	2020-09-02 14:48:25 +01:00
Jerry James	d113b7f0b0	Rebuild for coq 8.12.0.	2020-09-01 14:29:55 -06:00
Richard W.M. Jones	b01c34abf5	OCaml 4.11.0 rebuild	2020-08-22 07:53:22 +01:00
Fedora Release Engineering	ec130330d5	- Second attempt - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>	2020-08-01 09:49:23 +00:00
Fedora Release Engineering	816c8a1209	- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>	2020-07-29 15:21:35 +00:00
Jerry James	42fce2bc2a	Rebuild for coq 8.11.2.	2020-06-15 14:39:34 -06:00
Jerry James	9d0380b3c0	Rebuild for coq 8.11.1.	2020-05-20 10:25:44 -06:00
Richard W.M. Jones	1d90cd68e1	OCaml 4.11.0+dev2-2020-04-22 rebuild	2020-05-05 18:10:27 +01:00
Richard W.M. Jones	91322e59eb	Update all OCaml dependencies for RPM 4.16.	2020-04-04 21:33:51 +01:00
Jerry James	c7d7feec31	Rebuild for coq 8.11.0.	2020-03-25 12:51:59 -06:00
Fedora Release Engineering	d6c614a3f5	- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>	2020-01-31 05:17:11 +00:00
Jerry James	49209159dc	OCaml 4.10.0+beta1 rebuild.	2020-01-22 09:09:04 -07:00
Jerry James	c4c6326aa7	OCaml 4.08.1 (final) rebuild.	2019-09-06 12:15:44 -06:00
Jerry James	9fed1d3957	OCaml 4.08.1 (rc2) rebuild.	2019-08-01 14:12:10 -06:00
Fedora Release Engineering	d1dbfe0b30	- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>	2019-07-27 04:58:32 +00:00
Jerry James	8f232ab1e8	Rebuild for coq 8.9.1. Add -coq89 patch to adapt to coq 8.9.x.	2019-06-05 19:59:12 -06:00