diff --git a/build-constraints.yaml b/build-constraints.yaml
index 1b130a1c..98aa7e45 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -66,6 +66,7 @@ packages:
         - rhine
         - rhine-gloss
         - dunai-core
+        - finite-typelits
 
     "Paul Johnson <paul@cogito.org.uk> @PaulJohnson":
         - geodetics