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