From ed310a0ca747f1e90d408fac692b98aa441676cf Mon Sep 17 00:00:00 2001
From: Jens Petersen <petersen@fedoraproject.org>
Date: Mar 07 2016 13:53:09 +0000
Subject: drop %ghc_arches_with_ghci


---

diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec
index 071f8cf..16d4ac5 100644
--- a/Agda-stdlib.spec
+++ b/Agda-stdlib.spec
@@ -25,8 +25,7 @@ BuildRequires: ghc-rpm-macros
 BuildRequires:  Agda
 # needed for filemanip
 BuildRequires:  ghc-unix-compat-devel
-# Agda needs ghci and is not building on arm currently
-ExclusiveArch:  %{ghc_arches_with_ghci}
+# Agda is not building on arm currently
 ExcludeArch:    armv7hl
 Obsoletes:      ghc-agda-lib-ffi < 0.0.2-6, ghc-agda-lib-ffi-devel < 0.0.2-6