diff --git a/build-constraints.yaml b/build-constraints.yaml
index 0a984c11..150f3830 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -854,6 +854,9 @@ packages:
     "Tim Baumann <tim@timbaumann.info> @timjb":
         - aeson-schema
 
+    "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
+        - Agda
+
     "Stackage upper bounds":
         # GHC 7.8 uppdate bound
         - haddock-api < 2.16