diff --git a/build-constraints.yaml b/build-constraints.yaml
index 0bd68f80..1e38cba0 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -25,7 +25,7 @@ packages:
     "Andreas Abel <andreas.abel@gu.se> @andreasabel":
         - BNFC
         - STMonadTrans
-        - Agda < 0  # https://github.com/commercialhaskell/stackage/issues/5826
+        - Agda
         - agda2lagda
         - ListLike
         - haskell-src