From 46b058657a70ca97f5d1651257dc83b55c2b4b77 Mon Sep 17 00:00:00 2001
From: Adam Bergmark <adam@bergmark.nl>
Date: Sun, 31 Jul 2016 16:42:15 +0200
Subject: [PATCH] Re-enable idris and close #1680

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

diff --git a/build-constraints.yaml b/build-constraints.yaml
index 7879a94e..66e22d30 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -901,7 +901,7 @@ packages:
         - cabal-rpm
         - cabal-sort
         - hslua
-        # GHC 8 - idris
+        - idris
 
         - cairo
         - gio