Merge pull request #962 from liamoc/patch-3

Add latex-formulae packages, agda-snippets
This commit is contained in:
Michael Snoyman 2015-11-05 22:01:43 -08:00
commit a196b260e0

View File

@ -417,6 +417,9 @@ packages:
- patches-vector
- composition-tree
- dixi
- latex-formulae-image
- latex-formulae-pandoc
- agda-snippets
"Dan Burton <danburton.email@gmail.com> @DanBurton":
- hspec-jenkins