diff --git a/build-constraints.yaml b/build-constraints.yaml
index 1d38fa5b..06ab5fbe 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -15,6 +15,7 @@ packages:
     "Andreas Abel <andreas.abel@gu.se> @andreasabel":
         - BNFC
         - STMonadTrans
+        - Agda
 
     "Diogo Biazus <diogo@biazus.ca>":
         - hasql-notifications