diff --git a/build-constraints.yaml b/build-constraints.yaml
index 092d2703..4e4ba273 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -1180,7 +1180,7 @@ packages:
         # - cabal-rpm # GHC 8.2.1
         # - stackage-query # via stackage-types compilation failure
         # - cabal-sort # BLOCKED directory 1.3
-        # - idris # bounds aeson
+        - idris
         - libffi
         - xmonad-contrib
         - shelly