From 34b7af27b7a3293e1e6b89c45dc2614abccd8c12 Mon Sep 17 00:00:00 2001
From: Andreas Abel <andreas.abel@ifi.lmu.de>
Date: Mon, 8 Feb 2021 10:10:52 +0100
Subject: [PATCH] [ fix #5826 ] reenable Agda

Agda-2.6.1.3 builds with nightly-2021-02-06.
---
 build-constraints.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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