diff --git a/stack.yaml b/stack.yaml
index 8514454ff..b5b02f1ba 100644
--- a/stack.yaml
+++ b/stack.yaml
@@ -7,8 +7,12 @@ flags:
     network-uri: true
 packages:
 - '.'
+- location:
+    git: https://github.com/jgm/pandoc-types.git
+    commit: 485eb11e9869fcd4c1ca9bcd68d3ccd384230252
 extra-deps:
 - http-client-0.5.0
 - http-client-tls-0.3.0
 - doctemplates-0.1.0.2
-resolver: lts-7.0
+- texmath-0.8.6.6
+resolver: lts-7.2
diff --git a/windows/stack.yaml b/windows/stack.yaml
index 7f57323cf..da1526c75 100644
--- a/windows/stack.yaml
+++ b/windows/stack.yaml
@@ -13,9 +13,13 @@ flags:
     debug: false
 packages:
 - '..'
+- location:
+    git: https://github.com/jgm/pandoc-types.git
+    commit: 485eb11e9869fcd4c1ca9bcd68d3ccd384230252
 extra-deps:
 - 'http-client-0.5.0'
 - 'http-client-tls-0.3.0'
+- texmath-0.8.6.6
 - pandoc-citeproc-0.10.1.1
 - doctemplates-0.1.0.2
-resolver: lts-7.0
+resolver: lts-7.2