diff --git a/build-constraints.yaml b/build-constraints.yaml
index 8c02d39c..e95fc500 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -744,6 +744,7 @@ packages:
         - waitra
 
     "Adam C. Foltzer acfoltzer@galois.com @acfoltzer":
+        - cryptol
         - gitrev
 
     "Luke Taylor tekul.hs@gmail.com @tekul":