git.iko.soy/stackage
on master help sign in
Remove duplicate "Agda" entry
5a3d16eAndreas Abel
build-constraints.yaml+1−1
compare with master
unifiedsplit
@@ -2435,7 +2435,7 @@ packages:
2435 - ipython-kernel
2435 - ipython-kernel
2436
2436
2437 "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
2437 "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
2438− - Agda < 0
2438+ [] # - Agda moved to Andreas Abel
2439
2439
2440 "James Cook <mokus@deepbondi.net> @mokus0":
2440 "James Cook <mokus@deepbondi.net> @mokus0":
2441 - dependent-map < 0 # via constraints-extras
2441 - dependent-map < 0 # via constraints-extras