@@ -448,9 +448,8 @@ packages:
448 - latex-formulae-image
448 - latex-formulae-image
449 - latex-formulae-pandoc
449 - latex-formulae-pandoc
450 - latex-formulae-hakyll
450 - latex-formulae-hakyll
451− # https://github.com/liamoc/agda-snippets/issues/2
452− # - agda-snippets
451+ - agda-snippets
453− # - agda-snippets-hakyll
452+ - agda-snippets-hakyll
455 "Dan Burton <danburton.email@gmail.com> @DanBurton":
454 "Dan Burton <danburton.email@gmail.com> @DanBurton":
456 - hspec-jenkins
455 - hspec-jenkins