From b776c3ea7eb78afb81cfda14870a4210a451e465 Mon Sep 17 00:00:00 2001
From: Mihai Maruseac <mihai.maruseac@gmail.com>
Date: Sat, 1 Aug 2020 12:58:01 -0700
Subject: [PATCH] Still need some upper bound for `arithmoi`.

---
 build-constraints.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index 18189435..03e13400 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -3177,7 +3177,7 @@ packages:
         - primitive-addr
         - quickcheck-classes
         - quickcheck-classes-base
-        - arithmoi
+        - arithmoi < 0.11.0.1
         - bitvec
         - poly
         - extended-reals