From 5a3d16ee22deb678e48f0550a9013e4cb176b7a7 Mon Sep 17 00:00:00 2001
From: Andreas Abel <andreas.abel@ifi.lmu.de>
Date: Fri, 15 Jan 2021 09:58:08 +0100
Subject: [PATCH] Remove duplicate "Agda" entry

The "Agda < 0" under @ars contradicts the "Agda" entry under @andreasabel.
---
 build-constraints.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index 95482a44..b6b1060d 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -2435,7 +2435,7 @@ packages:
         - ipython-kernel
 
     "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
-        - Agda < 0
+        [] # - Agda moved to Andreas Abel
 
     "James Cook <mokus@deepbondi.net> @mokus0":
         - dependent-map < 0 # via constraints-extras