From 0a6b913a2ddcefcdeadc734a59df551897d929e4 Mon Sep 17 00:00:00 2001
From: M Farkas-Dyck <strake888@gmail.com>
Date: Fri, 11 May 2018 22:12:59 -0800
Subject: [PATCH] Add natural-induction and Fin

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

diff --git a/build-constraints.yaml b/build-constraints.yaml
index 1cbf0cd6..136c705c 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -3323,12 +3323,14 @@ packages:
         - fuzzy-dates
 
     "Matthew Farkas-Dyck <strake888@gmail.com> @strake":
+        - Fin
         - alg
         - category
         - constraint
         - filtrable
         - hs-functors
         - lenz
+        - natural-induction
         - peano
         - unconstrained
         - util