From 8d924cd95158561aa0f2163276bbdb7448f21b22 Mon Sep 17 00:00:00 2001
From: Jens Petersen <juhpetersen@gmail.com>
Date: Fri, 23 Jun 2023 09:21:08 +0800
Subject: [PATCH] Revert "temporarily disable Agda to break dependency cycle"

This reverts commit 3ab7922cc0671e3d739bba8d81532318c6b04b73.
---
 build-constraints.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index dda6353f..97b74af7 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -76,7 +76,7 @@ packages:
         - geniplate-mirror
 
     "Andreas Abel <andreas.abel@gu.se> @andreasabel":
-        - Agda < 0
+        - Agda
         - agda2lagda
         - BNFC
         - cabal-clean