Revert blocked package and close liamoc/agda-snippets#1
This reverts commit 1c50c1f0189d817bf1893b7827907ff87021ea0c.
commit8d740fa4dd1855333314d20b08cbf020521c046a
authorMichael Snoyman <michael@fpcomplete.com>
dateSun 8 Nov 2015, 02:37 (11 years ago)
parent28a6eb3
build-constraints.yaml+1−2
@@ -421,8 +421,7 @@ packages:
421421 - latex-formulae-pandoc
422422 - latex-formulae-hakyll
423423 - agda-snippets
424− # https://github.com/liamoc/agda-snippets/issues/1
425− # - agda-snippets-hakyll
424+ - agda-snippets-hakyll
426425
427426 "Dan Burton <danburton.email@gmail.com> @DanBurton":
428427 - hspec-jenkins