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