From 7c19527f19b15d289a167b5f5a3240740ebf119f Mon Sep 17 00:00:00 2001
From: Hiromi ISHII <konn.jinro@gmail.com>
Date: Sun, 9 Feb 2020 22:34:34 +0900
Subject: [PATCH] Adds singletons-presburger

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

diff --git a/build-constraints.yaml b/build-constraints.yaml
index 63fe99c0..13205fa3 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -4121,6 +4121,7 @@ packages:
     "Hiromi Ishii <konn.jinro@gmail.com> @konn":
         - equational-reasoning
         - ghc-typelits-presburger
+        - singletons-presburger
         - type-natural
         - sized