diff --git a/build-constraints.yaml b/build-constraints.yaml
index e95fc500..fa41725c 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -1144,6 +1144,9 @@ expected-haddock-failures:
     # builds. Could consider special-casing this requirement.
     - gtk
 
+    # https://github.com/GaloisInc/cryptol/issues/195
+    - cryptol
+
 # Benchmarks which should not be built. Note that Stackage does *not* generally
 # build benchmarks. The difference here will be whether dependencies for these
 # benchmarks are included or not.