Update blocker on idris (#2856)
commit8d16fe9a6a6179c12670dadcb24cf9d885405abc
authorMihai Maruseac <mihai.maruseac@gmail.com>
dateFri 17 Nov 2017, 08:39 (9 years ago)
parentd12dffe
build-constraints.yaml+1−1
@@ -1214,7 +1214,7 @@ packages:
12141214 # - cabal-rpm # GHC 8.2.1
12151215 # - stackage-query # via stackage-types compilation failure
12161216 # - cabal-sort # BLOCKED directory 1.3
1217− # - idris # bounds aeson
1217+ # - idris # bounds optparse-applicative, https://github.com/fpco/stackage/pull/2856
12181218 - fedora-haskell-tools
12191219 - libffi
12201220 - xmonad-contrib