From 7be71ac2928af5e02b8ac754731229414905deb3 Mon Sep 17 00:00:00 2001
From: Jens Petersen <petersen@redhat.com>
Date: Thu, 6 Oct 2016 19:06:57 +0900
Subject: [PATCH] disable armv7hl again (#991929)

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

diff --git a/Agda.spec b/Agda.spec
index 8c4c086..8c71944 100644
--- a/Agda.spec
+++ b/Agda.spec
@@ -59,8 +59,8 @@ BuildRequires:  ghc-zlib-devel
 BuildRequires:  happy
 # End cabal-rpm deps
 BuildRequires:  emacs(bin)
-# bug 991929
-#ExcludeArch:    %{arm}
+# https://bugzilla.redhat.com/show_bug.cgi?id=991929
+ExcludeArch:    %{arm}
 
 Requires:       ghc-%{name}-devel = %{version}-%{release}
 # introduced for F23
@@ -201,7 +201,6 @@ rm -r %{buildroot}%{_datadir}/%{pkgver}/emacs-mode
 * Thu Oct  6 2016 Jens Petersen <petersen@redhat.com> - 2.4.2.5-1
 - update to 2.4.2.5
 - subpackage new dep geniplate-mirror
-- enable armv7hl
 
 * Wed Feb 03 2016 Fedora Release Engineering <releng@fedoraproject.org> - 2.4.2.2-6
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild