From 0b1d2768549c56747d31acc76f80d24aa63cfed0 Mon Sep 17 00:00:00 2001
From: Mihai Maruseac <mihai.maruseac@gmail.com>
Date: Fri, 15 Jan 2021 10:24:17 -0800
Subject: [PATCH] Still disable `Agda` (#5826)

---
 build-constraints.yaml | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index 19f44a60..c57509a7 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -25,7 +25,7 @@ packages:
     "Andreas Abel <andreas.abel@gu.se> @andreasabel":
         - BNFC
         - STMonadTrans
-        - Agda
+        - Agda < 0  # https://github.com/commercialhaskell/stackage/issues/5826
         - agda2lagda
         - ListLike
 
@@ -2434,9 +2434,6 @@ packages:
     "Andrew Gibiansky <andrew.gibiansky@gmail.com> @gibiansky":
         - ipython-kernel
 
-    "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
-        [] # - Agda moved to Andreas Abel
-
     "James Cook <mokus@deepbondi.net> @mokus0":
         - dependent-map < 0 # via constraints-extras
         - dependent-sum < 0 # via constraints-extras