diff --git a/build-constraints.yaml b/build-constraints.yaml
index e3217d4c..fa71915c 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -1493,7 +1493,9 @@ packages:
         - ipython-kernel
 
     "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
-        - Agda
+        # Temporarily removed due to upper bound on unordered-containers.
+        # - Agda
+        []
 
     "James Cook <mokus@deepbondi.net> @mokus0":
         - dependent-sum