Merge pull request #962 from liamoc/patch-3
Add latex-formulae packages, agda-snippets
commita196b260e02883fe52b47af51bc6da6e876529c5
authorMichael Snoyman <michael@snoyman.com>
dateThu 5 Nov 2015, 22:01 (11 years ago)
parent6993d46c13e1d0
build-constraints.yaml+3
@@ -417,6 +417,9 @@ packages:
417417 - patches-vector
418418 - composition-tree
419419 - dixi
420+ - latex-formulae-image
421+ - latex-formulae-pandoc
422+ - agda-snippets
420423
421424 "Dan Burton <danburton.email@gmail.com> @DanBurton":
422425 - hspec-jenkins