From c450966ea6a949935d2e3af1fda8d94de8e19b23 Mon Sep 17 00:00:00 2001
From: Jens Petersen <petersen@redhat.com>
Date: Fri, 12 Jan 2018 17:59:51 +0900
Subject: [PATCH] uri-encode needs network-uri

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

diff --git a/Agda.spec b/Agda.spec
index 0a87c13..fbe124c 100644
--- a/Agda.spec
+++ b/Agda.spec
@@ -77,6 +77,7 @@ BuildRequires:  emacs(bin)
 # EdisonCore needs
 BuildRequires:  ghc-QuickCheck-devel
 # uri-encode needs
+BuildRequires:  ghc-network-uri-devel
 BuildRequires:  ghc-utf8-string-devel
 # https://bugzilla.redhat.com/show_bug.cgi?id=991929
 ExcludeArch:    %{arm}