rpms/Agda
3
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

uri-encode needs network-uri

Browse source
This commit is contained in:
Jens Petersen 2018-01-12 17:59:51 +09:00
commit c450966ea6
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
Agda.spec
View file

@ -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}