@@ -421,7 +421,8 @@ packages:
421 - latex-formulae-pandoc
421 - latex-formulae-pandoc
422 - latex-formulae-hakyll
422 - latex-formulae-hakyll
423 - agda-snippets
423 - agda-snippets
424+ # https://github.com/liamoc/agda-snippets/issues/1
424− - agda-snippets-hakyll
425+ # - agda-snippets-hakyll
426 "Dan Burton <danburton.email@gmail.com> @DanBurton":
427 "Dan Burton <danburton.email@gmail.com> @DanBurton":
427 - hspec-jenkins
428 - hspec-jenkins