Block package for liamoc/agda-snippets#1
commit1c50c1f0189d817bf1893b7827907ff87021ea0c
authorMichael Snoyman <michael@fpcomplete.com>
dateSun 8 Nov 2015, 02:18 (11 years ago)
parent7991d15
build-constraints.yaml+2−1
@@ -421,7 +421,8 @@ packages:
421421 - latex-formulae-pandoc
422422 - latex-formulae-hakyll
423423 - agda-snippets
424− - agda-snippets-hakyll
424+ # https://github.com/liamoc/agda-snippets/issues/1
425+ # - agda-snippets-hakyll
425426
426427 "Dan Burton <danburton.email@gmail.com> @DanBurton":
427428 - hspec-jenkins