update idris comment
commitf2ae07861b16fba0fc634e04a65640128acf0859
authorJens Petersen <petersen@redhat.com>
dateSun 1 Jul 2018, 22:42 (8 years ago)
parentf7afd79
build-constraints.yaml+1−1
@@ -1230,7 +1230,7 @@ packages:
12301230 - cabal-rpm
12311231 - fedora-haskell-tools
12321232
1233− # - idris # ansi-terminal-0.8
1233+ # - idris # aeson https://github.com/idris-lang/Idris-dev/issues/4493
12341234 - libffi
12351235 - xmonad-contrib < 0 # DependencyFailed (PackageName "xmonad")
12361236 - cairo