diff --git a/build-constraints.yaml b/build-constraints.yaml
index 887c7423..cede02d2 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -872,6 +872,7 @@ packages:
         - purescript
         - regex-applicative-text
         - spdx
+        - these
         - waitra
 
     "Adam C. Foltzer acfoltzer@galois.com @acfoltzer":