update idris comment

This commit is contained in:
Jens Petersen 2018-07-01 22:42:55 +09:00
parent f7afd79fd0
commit f2ae07861b

View File

@ -1230,7 +1230,7 @@ packages:
- cabal-rpm - cabal-rpm
- fedora-haskell-tools - fedora-haskell-tools
# - idris # ansi-terminal-0.8 # - idris # aeson https://github.com/idris-lang/Idris-dev/issues/4493
- libffi - libffi
- xmonad-contrib < 0 # DependencyFailed (PackageName "xmonad") - xmonad-contrib < 0 # DependencyFailed (PackageName "xmonad")
- cairo - cairo