rpms
/
Agda
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

gitrev now needs base-compat

This commit is contained in:
Jens Petersen 2017-11-10 21:10:29 +09:00
parent e8fe124f84
commit 56bc32af70
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Agda.spec
View File

@ -77,6 +77,8 @@ BuildRequires: happy
BuildRequires: emacs(bin)
# EdisonCore needs
BuildRequires: ghc-QuickCheck-devel
# gitrev needs
BuildRequires: ghc-base-compat-devel
# https://bugzilla.redhat.com/show_bug.cgi?id=991929
ExcludeArch: %{arm}