From c13e1d0a6ae70f2a8ae1acc18e9f918c45cb0f91 Mon Sep 17 00:00:00 2001
From: Liam O'Connor <whiteslug@gmail.com>
Date: Fri, 6 Nov 2015 15:55:13 +1100
Subject: [PATCH] Add latex-formulae packages, agda-snippets

---
 build-constraints.yaml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index 4e337e79..2c88b9bd 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -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