diff --git a/build-constraints.yaml b/build-constraints.yaml
index ddb9ee87..5b1d0f86 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