The package rpms/Agda-stdlib.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/Agda-stdlib.git/commit/?id=cad8a3....
Change:
-ExcludeArch: armv7hl
Thanks.
Full change:
============
commit cad8a31f37d578726f81c07acee0d3cbb589ccf3
Author: Jens Petersen <petersen(a)redhat.com>
Date: Mon Jul 20 13:27:44 2020 +0800
make package noarch since Agda now builds on armv7hl
diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec
index af1326d..6c88645 100644
--- a/Agda-stdlib.spec
+++ b/Agda-stdlib.spec
@@ -2,19 +2,18 @@
Name: Agda-stdlib
Version: 1.3
-Release: 1%{?dist}
+Release: 2%{?dist}
Summary: Agda standard libraries
License: MIT
URL:
http://wiki.portal.chalmers.se/agda/agda.php?n=Libraries.StandardLibrary
Source0:
https://github.com/agda/agda-stdlib/archive/v%{version}.tar.gz#/agda-stdl...
-# Agda-stdlib (.agdai) is actually noarch, but Agda does not build on armv7hl
BuildRequires: ghc-Cabal-devel
BuildRequires: ghc-rpm-macros
BuildRequires: ghc-filemanip-devel
BuildRequires: Agda
-# Agda not building on arm
-ExcludeArch: armv7hl
+# .agdai files are arch independent
+BuildArch: noarch
Obsoletes: ghc-agda-lib-ffi < 0.0.2-6, ghc-agda-lib-ffi-devel < 0.0.2-6
Requires: Agda = 2.6.1
@@ -68,6 +67,9 @@ install -p -m 0644 standard-library.agda-lib
%{buildroot}%{_datadir}/%{name}/
%changelog
+* Mon Jul 20 2020 Jens Petersen <petersen(a)redhat.com> - 1.3-2
+- make package noarch
+
* Sat Jun 27 2020 Jens Petersen <petersen(a)redhat.com> - 1.3-1
-
https://github.com/agda/agda-stdlib/blob/v1.3/CHANGELOG.md