diff --git a/build-constraints.yaml b/build-constraints.yaml
index f52e80b0..8a992437 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -7789,9 +7789,6 @@ packages:
         # https://github.com/commercialhaskell/stackage/issues/6865
         - shelly < 1.11
 
-        # https://github.com/commercialhaskell/stackage/issues/6871
-        - Agda < 2.6.3
-
 # end of packages
 
 # Package flags are applied to individual packages, and override the values of