The package rpms/why3.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/why3.git/commit/?id=35c8f0045f311....
Change:
+ExcludeArch: s390x
Thanks.
Full change:
============
commit cb21b2babf84c097c21f704d796f39005d60a81e
Author: Richard W.M. Jones <rjones(a)redhat.com>
Date: Wed Sep 2 16:50:48 2020 +0100
OCaml 4.11.1 rebuild
diff --git a/why3.spec b/why3.spec
index 09e9c90..647003e 100644
--- a/why3.spec
+++ b/why3.spec
@@ -9,7 +9,7 @@
Name: why3
Version: 1.3.1
-Release: 13%{?dist}
+Release: 14%{?dist}
Summary: Software verification platform
# See LICENSE for the terms of the exception
@@ -326,6 +326,9 @@ chmod 0755 %{buildroot}%{_bindir}/* \
%files all
%changelog
+* Wed Sep 02 2020 Richard W.M. Jones <rjones(a)redhat.com> - 1.3.1-14
+- OCaml 4.11.1 rebuild
+
* Tue Sep 1 2020 Jerry James <loganjerry(a)gmail.com> - 1.3.1-13
- Rebuild for coq 8.12.0
commit 35c8f0045f31120ed3aacfe3b143c7d4e1e7a44f
Author: Richard W.M. Jones <rjones(a)redhat.com>
Date: Wed Sep 2 14:48:05 2020 +0100
ExcludeArch s390x (see RHBZ#1874879).
diff --git a/why3.spec b/why3.spec
index b6bfda4..09e9c90 100644
--- a/why3.spec
+++ b/why3.spec
@@ -24,6 +24,9 @@ Source2: %{name}.desktop
# AppData file written by Jerry James
Source3: %{name}.appdata.xml
+#
https://bugzilla.redhat.com/show_bug.cgi?id=1874879
+ExcludeArch: s390x
+
BuildRequires: coq
BuildRequires: emacs-proofgeneral
BuildRequires: flocq