@@ -1492,7 +1492,9 @@ packages:
1492 - ipython-kernel
1492 - ipython-kernel
1494 "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
1494 "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
1495+ # Temporarily removed due to upper bound on unordered-containers.
1495− - Agda
1496+ # - Agda
1497 "James Cook <mokus@deepbondi.net> @mokus0":
1499 "James Cook <mokus@deepbondi.net> @mokus0":
1498 - dependent-sum
1500 - dependent-sum