From 27675663c6d476974182cb00b6e095a165550a92 Mon Sep 17 00:00:00 2001
From: Andreas Abel <andreas.abel@ifi.lmu.de>
Date: Fri, 3 Feb 2023 07:43:14 +0100
Subject: [PATCH] Reenable Agda-2.6.3 after vector-hashtables has been added

Closes #6871
---
 build-constraints.yaml | 3 ---
 1 file changed, 3 deletions(-)

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