Revert blocked package and close liamoc/agda-snippets#1

This reverts commit 1c50c1f018.
This commit is contained in:
Michael Snoyman 2015-11-08 02:37:01 +00:00
parent 28a6eb3446
commit 8d740fa4dd

View File

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