From 354c4ab04fcd3255b84ed0fcbbe5e1c5f1d47911 Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Thu, 13 Oct 2016 11:51:44 +0200 Subject: Updated stack.yaml and windows/stack.yaml to use latest pandoc-types. --- stack.yaml | 6 +++++- windows/stack.yaml | 6 +++++- 2 files changed, 10 insertions(+), 2 deletions(-) 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 -- cgit v1.2.3