diff --git a/build-constraints.yaml b/build-constraints.yaml
index acf808a5..9ad6be64 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -2418,6 +2418,9 @@ packages:
         # Need to always match the version shipped with GHC
         - Win32 == 2.3.1.1
 
+    "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
+        - Agda
+
     "Stackage upper bounds":
         # https://github.com/fpco/stackage/issues/1510
         - pipes < 4.2