From 0d3bfd719cdcfaa11e016539307aebb4969984c6 Mon Sep 17 00:00:00 2001
From: Hiromi ISHII <konn.jinro@gmail.com>
Date: Mon, 22 Jun 2020 17:59:29 +0900
Subject: [PATCH] Revives ghc-typelits-presburger and others (fixes #5438)

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

diff --git a/build-constraints.yaml b/build-constraints.yaml
index 3f71941b..59ac9fd2 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -4250,10 +4250,10 @@ packages:
 
     "Hiromi Ishii <konn.jinro@gmail.com> @konn":
         - equational-reasoning
-        - 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
+        - ghc-typelits-presburger
+        - singletons-presburger
+        - type-natural
+        - sized
 
     "Frank Doepper <stackage@woffs.de> @woffs":
         - amqp-utils