diff --git a/Agda.spec b/Agda.spec index 6c6fe7c..5be2eb0 100644 --- a/Agda.spec +++ b/Agda.spec @@ -41,7 +41,7 @@ BuildRequires: ghc-xhtml-devel BuildRequires: ghc-zlib-devel BuildRequires: happy # End cabal-rpm deps -BuildRequires: emacs +BuildRequires: emacs(bin) # geniplate uses template-haskell ExclusiveArch: %{ghc_arches_with_ghci} # bug 991929