From 512b23cf5110999c3b900698f89a063bb8e7ec87 Mon Sep 17 00:00:00 2001
From: Jens Petersen <juhpetersen@gmail.com>
Date: Tue, 2 May 2017 16:50:48 +0900
Subject: [PATCH] remove idris comment

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

diff --git a/build-constraints.yaml b/build-constraints.yaml
index a3f8f534..136a8fcd 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -1089,7 +1089,7 @@ packages:
         - cabal-rpm
         - stackage-query
         # - cabal-sort # BLOCKED directory 1.3
-        - idris # bounds: safe
+        - idris
         - libffi
         - xmonad-contrib
         - shelly