From 9e31ca84bcf6cc0ed9ec2fc9306376df7985d621 Mon Sep 17 00:00:00 2001
From: Mihai Maruseac <mihai.maruseac@gmail.com>
Date: Sun, 17 Jan 2021 08:05:38 -0800
Subject: [PATCH] Upper bound `{ghc-typelits,singletons}-presburger` (#5829)

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

diff --git a/build-constraints.yaml b/build-constraints.yaml
index 4a84e9b8..3c3dc531 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -4387,8 +4387,8 @@ packages:
 
     "Hiromi Ishii <konn.jinro@gmail.com> @konn":
         - equational-reasoning
-        - ghc-typelits-presburger
-        - singletons-presburger
+        - ghc-typelits-presburger < 0.5  # https://github.com/commercialhaskell/stackage/issues/5829
+        - singletons-presburger < 0.5  # https://github.com/commercialhaskell/stackage/issues/5829
         - type-natural
         - subcategories
         - sized