From cdb61131629cd2d13083b71a913246e3ec674031 Mon Sep 17 00:00:00 2001
From: Michael Snoyman <michael@snoyman.com>
Date: Tue, 22 Sep 2015 13:50:16 +0300
Subject: [PATCH] Upper bound GaloisInc/cryptol#275

---
 build-constraints.yaml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index bc8f50fb..cb458aca 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -1506,6 +1506,9 @@ packages:
         # https://github.com/fpco/stackage/issues/846
         - postgresql-simple < 0.5
 
+        # https://github.com/GaloisInc/cryptol/issues/275
+        - cryptol < 5.0
+
 # Package flags are applied to individual packages, and override the values of
 # global-flags
 package-flags: