Add latex-formulae packages, agda-snippets

This commit is contained in:
Liam O'Connor 2015-11-06 15:55:13 +11:00
parent 2d79fbd102
commit c13e1d0a6a

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