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