From dd9d35707964b39639641ac6f9c5f518be2961e0 Mon Sep 17 00:00:00 2001
From: Jens Petersen <juhpetersen@gmail.com>
Date: Tue, 9 Jan 2018 12:20:09 +0900
Subject: [PATCH] add back idris

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

diff --git a/build-constraints.yaml b/build-constraints.yaml
index 37d0a40b..d69931d1 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -1113,6 +1113,7 @@ packages:
         - cabal-rpm
         - fedora-haskell-tools
 
+        - idris
         - libffi
         - xmonad-contrib
         - cairo