From 354c4ab04fcd3255b84ed0fcbbe5e1c5f1d47911 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Thu, 13 Oct 2016 11:51:44 +0200
Subject: [PATCH] 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