Merge pull request #1196 from fpco/DanBurton-patch-2
Re-enable agda-snippets
commit7ecf5a5eac171bced5b884bdb0170629d8d41a51
authorJens Petersen <juhpetersen@gmail.com>
dateThu 28 Jan 2016, 19:15 (11 years ago)
parentee9c9842c82de2
build-constraints.yaml+1−2
@@ -449,8 +449,7 @@ packages:
449449 - latex-formulae-image
450450 - latex-formulae-pandoc
451451 - latex-formulae-hakyll
452− # https://github.com/liamoc/agda-snippets/issues/2
453− # - agda-snippets
452+ - agda-snippets
454453 # - agda-snippets-hakyll
455454
456455 "Dan Burton <danburton.email@gmail.com> @DanBurton":