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}