summaryrefslogtreecommitdiff
path: root/deb
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2016-07-24 10:56:19 -0700
committerJohn MacFarlane <jgm@berkeley.edu>2016-07-24 10:56:19 -0700
commitd2464de2af7f5bf6c5843b7035651228089f8746 (patch)
tree33b45e82b09ed44013483233c507e874c9274a1e /deb
parent7f414f3e4d61d8e43afe7fd823be63994924e161 (diff)
Use texmath 0.8.6.5. Closes #3040.
Diffstat (limited to 'deb')
-rw-r--r--deb/stack.yaml1
1 files changed, 1 insertions, 0 deletions
diff --git a/deb/stack.yaml b/deb/stack.yaml
index 5a287e647..eee7f0035 100644
--- a/deb/stack.yaml
+++ b/deb/stack.yaml
@@ -20,4 +20,5 @@ extra-deps:
- http-client-tls-0.3.0
- 'cmark-0.5.3.1'
- 'aeson-pretty-0.8.1'
+- 'texmath-0.8.6.5'
resolver: lts-6.5