summaryrefslogtreecommitdiff
path: root/deb
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2016-10-17 13:59:58 +0200
committerJohn MacFarlane <jgm@berkeley.edu>2016-10-17 13:59:58 +0200
commit54d54fc57f0c4a7266dce49a8a95bbca85bebbfd (patch)
tree76292755950975259b7d4382781e1c8503911201 /deb
parent15902b31abc7c2cd5275028cbeec8ff204b5f91c (diff)
Use pandoc-types 1.17.0.2 in stack.yaml.
Diffstat (limited to 'deb')
-rw-r--r--deb/stack.yaml2
1 files changed, 1 insertions, 1 deletions
diff --git a/deb/stack.yaml b/deb/stack.yaml
index 105759985..64dbcdb32 100644
--- a/deb/stack.yaml
+++ b/deb/stack.yaml
@@ -17,5 +17,5 @@ extra-deps:
- pandoc-citeproc-0.10.1.2
- doctemplates-0.1.0.2
- texmath-0.8.6.6
-- pandoc-types-1.17.0.1
+- pandoc-types-1.17.0.2
resolver: lts-7.2