on master help sign in
Update blocker on idris (#2856)
8d16fe9Mihai Maruseac
build-constraints.yaml+1−1
@@ -1214,7 +1214,7 @@ packages:
1214 # - cabal-rpm # GHC 8.2.1
1214 # - cabal-rpm # GHC 8.2.1
1215 # - stackage-query # via stackage-types compilation failure
1215 # - stackage-query # via stackage-types compilation failure
1216 # - cabal-sort # BLOCKED directory 1.3
1216 # - cabal-sort # BLOCKED directory 1.3
1217− # - idris # bounds aeson
1217+ # - idris # bounds optparse-applicative, https://github.com/fpco/stackage/pull/2856
1218 - fedora-haskell-tools
1218 - fedora-haskell-tools
1219 - libffi
1219 - libffi
1220 - xmonad-contrib
1220 - xmonad-contrib