Re-enable agda-snippets and agda-snippets-hakyll
commitb9741fc6485364d4b3c58a39be471730233bb075
authorDan Burton <danburton.email@gmail.com>
dateWed 27 Jan 2016, 13:29 (11 years ago)
parent8395bb6
build-constraints.yaml+2−3
@@ -448,9 +448,8 @@ packages:
448448 - latex-formulae-image
449449 - latex-formulae-pandoc
450450 - latex-formulae-hakyll
451− # https://github.com/liamoc/agda-snippets/issues/2
452− # - agda-snippets
453− # - agda-snippets-hakyll
451+ - agda-snippets
452+ - agda-snippets-hakyll
454453
455454 "Dan Burton <danburton.email@gmail.com> @DanBurton":
456455 - hspec-jenkins