diff --git a/build-constraints.yaml b/build-constraints.yaml
index f4453999..eea02e60 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