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