rpms/Agda-stdlib
3
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

also exclude i686

Browse source
This commit is contained in:
Jens Petersen 2023-02-21 12:13:10 +08:00
commit 8234f3137c
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
Agda-stdlib.spec
View file

@ -16,8 +16,8 @@ BuildRequires: Agda
BuildArch: noarch
Obsoletes: ghc-agda-lib-ffi < 0.0.2-6, ghc-agda-lib-ffi-devel < 0.0.2-6
Requires: Agda = 2.6.2.2
# Agda can't build on armv7hl currently for f35/ghc-8.10
ExcludeArch: armv7hl
# Agda can't build on armv7hl/i686 currently
ExcludeArch: armv7hl %{ix86}
%description
Agda standard libraries