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