diff --git a/build-constraints.yaml b/build-constraints.yaml
index b8d6bb2b..8589cdc4 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -886,6 +886,12 @@ packages:
         - regex-applicative-text
         - spdx
         - these
+        - universe
+        - universe-base
+        - universe-instances-base
+        - universe-instances-extended
+        - universe-instances-trans
+        - universe-reverse-instances
         - waitra
 
     "Adam C. Foltzer acfoltzer@galois.com @acfoltzer":