@@ -419,7 +419,9 @@ packages:
420 - latex-formulae-image
420 - latex-formulae-image
421 - latex-formulae-pandoc
421 - latex-formulae-pandoc
422+ - latex-formulae-hakyll
422 - agda-snippets
423 - agda-snippets
424+ - agda-snippets-hakyll
424 "Dan Burton <danburton.email@gmail.com> @DanBurton":
426 "Dan Burton <danburton.email@gmail.com> @DanBurton":
425 - hspec-jenkins
427 - hspec-jenkins