@@ -1546,9 +1546,7 @@ packages:
1546 - ipython-kernel
1546 - ipython-kernel
1548 "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
1548 "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
1549− # Temporarily removed due to upper bound on unordered-containers.
1550− # - Agda
1549+ - Agda
1553 "James Cook <mokus@deepbondi.net> @mokus0":
1551 "James Cook <mokus@deepbondi.net> @mokus0":
1554 - dependent-sum
1552 - dependent-sum