@@ -25,7 +25,7 @@ packages:
2525 "Andreas Abel <andreas.abel@gu.se> @andreasabel":
2626 - BNFC
2727 - STMonadTrans
28− - Agda
28+ - Agda < 0 # https://github.com/commercialhaskell/stackage/issues/5826
2929 - agda2lagda
3030 - ListLike
3131
@@ -2434,9 +2434,6 @@ packages:
24342434 "Andrew Gibiansky <andrew.gibiansky@gmail.com> @gibiansky":
24352435 - ipython-kernel
24362436
2437− "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
2438− [] # - Agda moved to Andreas Abel
2439−
24402437 "James Cook <mokus@deepbondi.net> @mokus0":
24412438 - dependent-map < 0 # via constraints-extras
24422439 - dependent-sum < 0 # via constraints-extras