diff --git a/build-constraints.yaml b/build-constraints.yaml
index 5e37fdaf..a10906bf 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -2007,7 +2007,7 @@ packages:
         - ipython-kernel
 
     "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
-        - Agda < 0 # GHC 8.4 via template-haskell-2.13.0.0
+        - Agda
 
     "James Cook <mokus@deepbondi.net> @mokus0":
         - dependent-sum