@@ -1670,7 +1670,7 @@ packages:
1670 # GHC 8 - ipython-kernel
1670 # GHC 8 - ipython-kernel
1672 # "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
1672 # "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
1673− # bounds - Agda
1673+ - Agda
1675 "James Cook <mokus@deepbondi.net> @mokus0":
1675 "James Cook <mokus@deepbondi.net> @mokus0":
1676 - dependent-sum
1676 - dependent-sum