diff --git a/build-constraints.yaml b/build-constraints.yaml
index bfa135d3..a343b9f9 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -1670,8 +1670,8 @@ packages:
         # GHC 8 - ghc-parser
         # GHC 8 - ipython-kernel
 
-    # "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
-        # bounds - Agda
+    "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
+        - Agda
 
     "James Cook <mokus@deepbondi.net> @mokus0":
         - dependent-sum