diff --git a/build-constraints.yaml b/build-constraints.yaml
index bbf0e631..ae0a658a 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -1224,6 +1224,9 @@ packages:
         - refact
         - servant-pandoc
 
+    "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
+        - Agda
+
     "James Cook <mokus@deepbondi.net> @mokus0":
         - dependent-sum
         - dependent-sum-template