diff --git a/Agda.spec b/Agda.spec
index 4e1f368..592c815 100644
--- a/Agda.spec
+++ b/Agda.spec
@@ -77,10 +77,10 @@ Requires:       %{name}-common = %{version}-%{release}
 # End cabal-rpm deps
 BuildRequires:  emacs(bin)
 # EdisonCore needs
-BuildRequires:  ghc-QuickCheck-devel
+BuildRequires:  ghc-QuickCheck-prof
 # uri-encode needs
-BuildRequires:  ghc-network-uri-devel
-BuildRequires:  ghc-utf8-string-devel
+BuildRequires:  ghc-network-uri-prof
+BuildRequires:  ghc-utf8-string-prof
 # https://bugzilla.redhat.com/show_bug.cgi?id=991929
 ExcludeArch:    %{arm}