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