From 110786e31fcaef6f7fda64c2f10ade442361d9d3 Mon Sep 17 00:00:00 2001
From: M Farkas-Dyck <strake888@gmail.com>
Date: Thu, 23 Aug 2018 11:16:58 -0800
Subject: [PATCH] Add foldable1 package, which Fin now depends on

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

diff --git a/build-constraints.yaml b/build-constraints.yaml
index 0cc0fdc7..59f6fe5f 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -3500,6 +3500,7 @@ packages:
         - constraint
         - either-both
         - filtrable
+        - foldable1
         - hs-functors
         - lenz
         - natural-induction