From ee13a34f96757679d5dc9c67286b7fdc38feaa01 Mon Sep 17 00:00:00 2001
From: Jens Petersen <juhpetersen@gmail.com>
Date: Sun, 2 Apr 2017 21:32:04 +0900
Subject: [PATCH] add idris and libffi

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

diff --git a/build-constraints.yaml b/build-constraints.yaml
index a659fb8c..8e90f1af 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -1067,7 +1067,8 @@ packages:
     "Jens Petersen <juhpetersen@gmail.com> @juhp":
         - cabal-rpm
         # - cabal-sort # BLOCKED directory 1.3
-        # - idris # bounds: safe
+        - idris # bounds: safe
+        - libffi
         - xmonad-contrib
         - shelly