summaryrefslogtreecommitdiff
path: root/deb
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2016-10-13 13:02:18 +0200
committerJohn MacFarlane <jgm@berkeley.edu>2016-10-13 13:02:18 +0200
commit6156cdda13ee5f9edbb11a672f6eb78631c3ffc5 (patch)
tree32756f40f6e311ca103085947b72042cbcd9c5ff /deb
parent6d13567ac5c689dde3c1e4362b17fb42678e2b88 (diff)
Update stack.yaml files.
Diffstat (limited to 'deb')
-rw-r--r--deb/stack.yaml5
1 files changed, 2 insertions, 3 deletions
diff --git a/deb/stack.yaml b/deb/stack.yaml
index 4a777d4ef..29213c8eb 100644
--- a/deb/stack.yaml
+++ b/deb/stack.yaml
@@ -16,6 +16,5 @@ packages:
extra-deps:
- pandoc-citeproc-0.10.1.1
- doctemplates-0.1.0.2
-- http-client-0.5.0
-- http-client-tls-0.3.0
-resolver: lts-7.0
+- texmath-0.8.6.6
+resolver: lts-7.2