From 4e6c542e8f12224e2dcacdf0149eaaa6b78a2356 Mon Sep 17 00:00:00 2001
From: Jens Petersen <petersen@redhat.com>
Date: Fri, 10 Mar 2017 20:28:55 +0900
Subject: [PATCH] armv7hl still fails (#991929)

---
 Agda.spec | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Agda.spec b/Agda.spec
index 1fa1763..110d201 100644
--- a/Agda.spec
+++ b/Agda.spec
@@ -76,8 +76,8 @@ BuildRequires:  happy
 BuildRequires:  emacs(bin)
 # EdisonCore needs
 BuildRequires:  ghc-QuickCheck-devel
-## https://bugzilla.redhat.com/show_bug.cgi?id=991929
-#ExcludeArch:    %{arm}
+# https://bugzilla.redhat.com/show_bug.cgi?id=991929
+ExcludeArch:    %{arm}
 
 Requires:       ghc-%{name}-devel = %{version}-%{release}
 # introduced for F23