[Agda] fix deps for ftbfs

[Peter Robinson]

commit ca128ef253570776a3db4def7d9f59ce9b3a88f7
Author: Peter Robinson <pbrobinson at gmail.com>
Date:   Sat Aug 16 16:15:05 2014 +0100

    fix deps for ftbfs

 Agda.spec |    5 +++--
 1 files changed, 3 insertions(+), 2 deletions(-)
---
diff --git a/Agda.spec b/Agda.spec
index 7c447b3..6c6fe7c 100644
--- a/Agda.spec
+++ b/Agda.spec
@@ -41,11 +41,12 @@ BuildRequires:  ghc-xhtml-devel
 BuildRequires:  ghc-zlib-devel
 BuildRequires:  happy
 # End cabal-rpm deps
-BuildRequires:  emacs(bin)
+BuildRequires:  emacs
 # geniplate uses template-haskell
 ExclusiveArch:  %{ghc_arches_with_ghci}
 # bug 991929
-ExcludeArch:    armv7hl
+ExcludeArch:    %{arm}
+
 Requires:       ghc-%{name}-devel = %{version}-%{release}
 Requires:       emacs-agda = %{version}-%{release}