Remove duplicate "Agda" entry
The "Agda < 0" under @ars contradicts the "Agda" entry under @andreasabel.
commit5a3d16ee22deb678e48f0550a9013e4cb176b7a7
authorAndreas Abel <andreas.abel@ifi.lmu.de>
dateFri 15 Jan 2021, 09:58 (6 years ago)
parentd76202c
build-constraints.yaml+1−1
@@ -2435,7 +2435,7 @@ packages:
24352435 - ipython-kernel
24362436
24372437 "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
2438− - Agda < 0
2438+ [] # - Agda moved to Andreas Abel
24392439
24402440 "James Cook <mokus@deepbondi.net> @mokus0":
24412441 - dependent-map < 0 # via constraints-extras