diff --git a/build-constraints.yaml b/build-constraints.yaml
index 82bd73d5..e52165c0 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -764,6 +764,7 @@ packages:
     "Adam C. Foltzer acfoltzer@galois.com @acfoltzer":
         - cryptol
         - gitrev
+        - persistent-refs
 
     "Luke Taylor tekul.hs@gmail.com @tekul":
         - jose-jwt