diff --git a/build-constraints.yaml b/build-constraints.yaml
index 37d0a40b..d69931d1 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -1113,6 +1113,7 @@ packages:
         - cabal-rpm
         - fedora-haskell-tools
 
+        - idris
         - libffi
         - xmonad-contrib
         - cairo