From c5741255b522ef9e652e41e76eb8488256c47264 Mon Sep 17 00:00:00 2001
From: Jens Petersen <petersen@redhat.com>
Date: Wed, 20 Apr 2016 10:18:40 +0900
Subject: [PATCH] add idris (idris-lang/idris-dev#2501)

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

diff --git a/build-constraints.yaml b/build-constraints.yaml
index fb15b790..aed55c06 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -908,6 +908,7 @@ packages:
         - ghcjs-codemirror
         - ghcjs-dom
         - gtksourceview3
+        - idris
         - jsaddle
         - leksah-server
         - ltk