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