diff --git a/build-constraints.yaml b/build-constraints.yaml
index d889a063..95610011 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -7786,9 +7786,6 @@ packages:
         # https://github.com/commercialhaskell/stackage/issues/6857
         - deriving-trans < 0.6
 
-        # 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