@@ -2007,7 +2007,7 @@ packages:
2007 - ipython-kernel
2007 - ipython-kernel
2009 "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
2009 "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
2010− - Agda < 0 # GHC 8.4 via template-haskell-2.13.0.0
2010+ - Agda
2012 "James Cook <mokus@deepbondi.net> @mokus0":
2012 "James Cook <mokus@deepbondi.net> @mokus0":
2013 - dependent-sum
2013 - dependent-sum