diff --git a/build-constraints.yaml b/build-constraints.yaml
index 05449c0b..227e2d26 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -16,6 +16,7 @@ packages:
         - BNFC
         - STMonadTrans
         - Agda
+        - agda2lagda
 
     "Diogo Biazus <diogo@biazus.ca>":
         - hasql-notifications