From 900142581b9602b029f6cd2d54fa1dc6bbb295d8 Mon Sep 17 00:00:00 2001
From: Jens Petersen <petersen@redhat.com>
Date: Tue, 6 Aug 2019 10:01:49 +0800
Subject: [PATCH] subpkg deps need to be prof too

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

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}