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

armv7hl still fails (#991929)

Browse source
This commit is contained in:
Jens Petersen 2017-03-10 20:28:55 +09:00
commit 4e6c542e8f
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
Agda.spec
View file

@ -76,8 +76,8 @@ BuildRequires: happy
BuildRequires: emacs(bin)
# EdisonCore needs
BuildRequires: ghc-QuickCheck-devel
## https://bugzilla.redhat.com/show_bug.cgi?id=991929
#ExcludeArch: %{arm}
# https://bugzilla.redhat.com/show_bug.cgi?id=991929
ExcludeArch: %{arm}
Requires: ghc-%{name}-devel = %{version}-%{release}
# introduced for F23