Update blocker on idris (#2856)

This commit is contained in:
Mihai Maruseac 2017-11-17 08:39:38 -08:00
parent d12dffeaa2
commit 8d16fe9a6a

View File

@ -1214,7 +1214,7 @@ packages:
# - cabal-rpm # GHC 8.2.1
# - stackage-query # via stackage-types compilation failure
# - cabal-sort # BLOCKED directory 1.3
# - idris # bounds aeson
# - idris # bounds optparse-applicative, https://github.com/fpco/stackage/pull/2856
- fedora-haskell-tools
- libffi
- xmonad-contrib