diff --git a/build-constraints.yaml b/build-constraints.yaml
index fb15b790..aed55c06 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -908,6 +908,7 @@ packages:
         - ghcjs-codemirror
         - ghcjs-dom
         - gtksourceview3
+        - idris
         - jsaddle
         - leksah-server
         - ltk