The package rpms/zenon.git has added or updated architecture specific content in its
spec file (ExclusiveArch/ExcludeArch or %ifarch/%ifnarch) in commit(s):
https://src.fedoraproject.org/cgit/rpms/zenon.git/commit/?id=f362028353df....
Change:
+ExcludeArch: s390x
Thanks.
Full change:
============
commit 3bb73d655018de00d68b71945fb06b3ac3f1949e
Author: Richard W.M. Jones <rjones(a)redhat.com>
Date: Wed Sep 2 16:41:47 2020 +0100
OCaml 4.11.1 rebuild
diff --git a/zenon.spec b/zenon.spec
index e48c8b7..b8c04f9 100644
--- a/zenon.spec
+++ b/zenon.spec
@@ -5,7 +5,7 @@
Name: zenon
Version: 0.8.4
-Release: 16%{?dist}
+Release: 17%{?dist}
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 <rjones(a)redhat.com> - 0.8.4-17
+- OCaml 4.11.1 rebuild
+
* Tue Sep 1 2020 Jerry James <loganjerry(a)gmail.com> - 0.8.4-16
- Rebuild for coq 8.12.0
commit f362028353dff66e4cac5678414828e7478bd2d7
Author: Richard W.M. Jones <rjones(a)redhat.com>
Date: Wed Sep 2 14:48:16 2020 +0100
ExcludeArch s390x (see RHBZ#1874879).
diff --git a/zenon.spec b/zenon.spec
index cab2cce..e48c8b7 100644
--- a/zenon.spec
+++ b/zenon.spec
@@ -21,6 +21,9 @@ Patch0: %{name}-coq89.patch
# Adapt to ocaml 4.08 and later
Patch1: %{name}-ocaml.patch
+#
https://bugzilla.redhat.com/show_bug.cgi?id=1874879
+ExcludeArch: s390x
+
BuildRequires: coq = %{coqver}
BuildRequires: ghostscript-core
BuildRequires: ImageMagick