@@ -1759,8 +1759,7 @@ packages:
1759 # GHC 8 - ipython-kernel
1759 # GHC 8 - ipython-kernel
1761 "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
1761 "Andrés Sicard-Ramírez <asr@eafit.edu.co> @asr":
1763− # - Agda # BLOCKED haskell-src-exts < 1.18 and QuickCheck < 2.9
1765 "James Cook <mokus@deepbondi.net> @mokus0":
1764 "James Cook <mokus@deepbondi.net> @mokus0":
1766 - dependent-sum
1765 - dependent-sum