re-enable agda-snippets and agda-snippets-hakyll (#1369)

This commit is contained in:
Jens Petersen 2016-04-19 16:17:56 +09:00
parent 0acec5ea4c
commit a7f87c4a52

View File

@ -458,9 +458,8 @@ packages:
- latex-formulae-image
- latex-formulae-pandoc
- latex-formulae-hakyll
# - agda-snippets-hakyll
# Temporarily removed due to Agda's upper bound on unordered-containers.
# - agda-snippets
- agda-snippets
- agda-snippets-hakyll
"Dan Burton <danburton.email@gmail.com> @DanBurton":
- hspec-jenkins