diff --git a/build-constraints.yaml b/build-constraints.yaml
index 6f3fad42..7d955d00 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -1896,6 +1896,7 @@ packages:
         - parameterized-utils
         - s-cargot
         - what4
+        - what4-domains
         - zenc
         # copilot tests:
         - hedgehog-classes