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