@@ -2033,8 +2033,7 @@ packages:
2033 - ipython-kernel # GHC 8
2033 - ipython-kernel # GHC 8
2035 "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
2035 "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
2037− # - Agda # GHC 8.2.1
2036+ - Agda
2039 "James Cook <mokus@deepbondi.net> @mokus0":
2038 "James Cook <mokus@deepbondi.net> @mokus0":
2040 - dependent-sum
2039 - dependent-sum