From f518914766ebb0a11eae212d571134430a4c91c9 Mon Sep 17 00:00:00 2001
From: Jens Petersen <petersen@redhat.com>
Date: Thu, 29 Aug 2013 14:56:33 +0900
Subject: [PATCH] BR emacs now instead of emacs-haskell-mode

---
 Agda.spec | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Agda.spec b/Agda.spec
index 5e8d058..e30d303 100644
--- a/Agda.spec
+++ b/Agda.spec
@@ -41,6 +41,7 @@ BuildRequires:  alex
 BuildRequires:  happy
 # End cabal-rpm deps
 BuildRequires:  chrpath
+BuildRequires:  emacs(bin)
 ExcludeArch:    armv7hl
 Requires:       ghc-%{name}-devel = %{version}-%{release}
 Requires:       emacs-agda = %{version}-%{release}