diff --git a/build-constraints.yaml b/build-constraints.yaml
index 65c05960..150f3830 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -846,14 +846,17 @@ packages:
         - plot-gtk3
         - vector-buffer
         - hmatrix-repa
-        
+
     "Noam Lewis <jones.noamle@gmail.com> @sinelaw":
         - xml-to-json
         - xml-to-json-fast
-    
+
     "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