From 3272df81de3d80bf19f8b2aaa66171c449747432 Mon Sep 17 00:00:00 2001
From: Alexey Zabelin <hello@alexeyzabelin.com>
Date: Mon, 30 Jan 2023 14:38:16 -0600
Subject: [PATCH] Add an upper bound for Agda, #6871

---
 build-constraints.yaml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index 143eee01..65f596cb 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -7788,6 +7788,9 @@ packages:
         # https://github.com/commercialhaskell/stackage/issues/6868
         - lattices < 2.1
 
+        # 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