From 3ece5a7b095290bee72a0b85a6903f4ea1e60ec7 Mon Sep 17 00:00:00 2001
From: Alexey Zabelin <hello@alexeyzabelin.com>
Date: Wed, 17 Jun 2020 09:32:50 -0700
Subject: [PATCH] Disable ghc-typelits-presburger, #5438

---
 build-constraints.yaml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index e2feef7c..808ef000 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -4240,8 +4240,8 @@ packages:
 
     "Hiromi Ishii <konn.jinro@gmail.com> @konn":
         - equational-reasoning
-        - ghc-typelits-presburger
-        - singletons-presburger
+        - ghc-typelits-presburger < 0 # ghc 8.10.1 https://github.com/commercialhaskell/stackage/issues/5438
+        - singletons-presburger < 0 # via ghc-typelits-presburger
         - type-natural < 0 # ghc 8.10
         - sized < 0 # ghc 8.10