From 8d16fe9a6a6179c12670dadcb24cf9d885405abc Mon Sep 17 00:00:00 2001
From: Mihai Maruseac <mihai.maruseac@gmail.com>
Date: Fri, 17 Nov 2017 08:39:38 -0800
Subject: [PATCH] Update blocker on idris (#2856)

---
 build-constraints.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index e31d0361..3a9d6e56 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -1214,7 +1214,7 @@ packages:
         # - cabal-rpm # GHC 8.2.1
         # - stackage-query # via stackage-types compilation failure
         # - cabal-sort # BLOCKED directory 1.3
-        # - idris # bounds aeson
+        # - idris # bounds optparse-applicative, https://github.com/fpco/stackage/pull/2856
         - fedora-haskell-tools
         - libffi
         - xmonad-contrib