rpms
/
Agda
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

disable arm again (#991929)

This commit is contained in:
Jens Petersen 2015-04-03 21:59:00 +09:00
parent ecc95706d7
commit d547e5047c
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
Agda.spec
View File

@ -53,6 +53,8 @@ ExclusiveArch: %{ghc_arches_with_ghci}
BuildRequires: emacs(bin)
# geniplate uses template-haskell
ExclusiveArch: %{ghc_arches_with_ghci}
# bug 991929
ExcludeArch: %{arm}
Requires: ghc-%{name}-devel = %{version}-%{release}
Requires: emacs-agda = %{version}-%{release}
@ -217,7 +219,6 @@ rm %{buildroot}%{_docdir}/%{name}*/LICENSE
%changelog
* Fri Apr 03 2015 Jens Petersen <petersen@redhat.com> - 2.4.2.2-1
- update to 2.4.2.2
- enable arm
* Fri Feb 6 2015 Jens Petersen <petersen@redhat.com> - 2.4.2-1
- update to 2.4.2