diff --git a/build-constraints.yaml b/build-constraints.yaml
index 19f44a60..c57509a7 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -25,7 +25,7 @@ packages:
     "Andreas Abel <andreas.abel@gu.se> @andreasabel":
         - BNFC
         - STMonadTrans
-        - Agda
+        - Agda < 0  # https://github.com/commercialhaskell/stackage/issues/5826
         - agda2lagda
         - ListLike
 
@@ -2434,9 +2434,6 @@ packages:
     "Andrew Gibiansky <andrew.gibiansky@gmail.com> @gibiansky":
         - ipython-kernel
 
-    "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
-        [] # - Agda moved to Andreas Abel
-
     "James Cook <mokus@deepbondi.net> @mokus0":
         - dependent-map < 0 # via constraints-extras
         - dependent-sum < 0 # via constraints-extras