@@ -421,8 +421,7 @@ 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
425− # - agda-snippets-hakyll
424+ - agda-snippets-hakyll
427 "Dan Burton <danburton.email@gmail.com> @DanBurton":
426 "Dan Burton <danburton.email@gmail.com> @DanBurton":
428 - hspec-jenkins
427 - hspec-jenkins