diff --git a/build-constraints.yaml b/build-constraints.yaml
index 71181b41..0f96bff3 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -865,6 +865,7 @@ packages:
         - bower-json
         - boxes
         - pattern-arrows
+        - regex-applicative-text
 
     "Adam C. Foltzer acfoltzer@galois.com @acfoltzer":
         - cryptol