From f4580e54c68d4c45327b37274f3cf17feee9e367 Mon Sep 17 00:00:00 2001
From: Sibi Prabakaran <sibi@psibi.in>
Date: Tue, 12 Sep 2017 17:16:45 +0530
Subject: [PATCH] Enable idris back

Tested in lastest nightly and it worked fine for me.
---
 build-constraints.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index 092d2703..4e4ba273 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -1180,7 +1180,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
         - libffi
         - xmonad-contrib
         - shelly