@@ -1434,9 +1434,7 @@ packages:
1434 - ipython-kernel
1434 - ipython-kernel
1436 "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
1436 "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
1437− # Temporarily removed due to upper bound on haskell-src-exts
1438− # - Agda
1437+ - Agda
1441 "James Cook <mokus@deepbondi.net> @mokus0":
1439 "James Cook <mokus@deepbondi.net> @mokus0":
1442 - dependent-sum
1440 - dependent-sum