From f2ae07861b16fba0fc634e04a65640128acf0859 Mon Sep 17 00:00:00 2001
From: Jens Petersen <petersen@redhat.com>
Date: Sun, 1 Jul 2018 22:42:55 +0900
Subject: [PATCH] update idris comment

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

diff --git a/build-constraints.yaml b/build-constraints.yaml
index 485bb34c..6352c8fc 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -1230,7 +1230,7 @@ packages:
         - cabal-rpm
         - fedora-haskell-tools
 
-        # - idris # ansi-terminal-0.8
+        # - idris # aeson https://github.com/idris-lang/Idris-dev/issues/4493
         - libffi
         - xmonad-contrib < 0 # DependencyFailed (PackageName "xmonad")
         - cairo