on master help sign in
Merge pull request #962 from liamoc/patch-3
a196b26Michael Snoyman
build-constraints.yaml+3
@@ -417,6 +417,9 @@ packages:
417 - patches-vector
417 - patches-vector
418 - composition-tree
418 - composition-tree
419 - dixi
419 - dixi
420+ - latex-formulae-image
421+ - latex-formulae-pandoc
422+ - agda-snippets
420
423
421 "Dan Burton <danburton.email@gmail.com> @DanBurton":
424 "Dan Burton <danburton.email@gmail.com> @DanBurton":
422 - hspec-jenkins
425 - hspec-jenkins