petersen pushed to Agda (f22). "disable arm again (#991929)"

[notifications at fedoraproject.org]

>From d547e5047cf3f2961fa6da319571ccb487b2abae Mon Sep 17 00:00:00 2001
From: Jens Petersen <petersen at redhat.com>
Date: Fri, 3 Apr 2015 21:59:00 +0900
Subject: disable arm again (#991929)


diff --git a/Agda.spec b/Agda.spec
index 8a8fa6c..5c17e22 100644
--- a/Agda.spec
+++ b/Agda.spec
@@ -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 at redhat.com> - 2.4.2.2-1
 - update to 2.4.2.2
-- enable arm
 
 * Fri Feb  6 2015 Jens Petersen <petersen at redhat.com> - 2.4.2-1
 - update to 2.4.2
-- 
cgit v0.10.2


	http://pkgs.fedoraproject.org/cgit/Agda.git/commit/?h=f22&id=d547e5047cf3f2961fa6da319571ccb487b2abae