aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2020-04-27 09:35:34 -0700
committerJohn MacFarlane <jgm@berkeley.edu>2020-04-27 09:35:34 -0700
commit8d09a92d979126a53ec72ec73294ad04f811e9a7 (patch)
treefafecf6adeb401d1732ea1cb08f2528f1305b15e
parent3324412d72ceadc77b12b0b4cdc7cf02c5b6a959 (diff)
downloadpandoc-8d09a92d979126a53ec72ec73294ad04f811e9a7.tar.gz
Use latest pandoc-types master with underline addition.
-rw-r--r--cabal.project2
-rw-r--r--stack.yaml5
2 files changed, 3 insertions, 4 deletions
diff --git a/cabal.project b/cabal.project
index 320a98916..652abb66a 100644
--- a/cabal.project
+++ b/cabal.project
@@ -16,4 +16,4 @@ source-repository-package
source-repository-package
type: git
location: https://github.com/jgm/pandoc-types
- tag: 4acb0e50f10d8f41f94c0973384d63f06d0b9ffd
+ tag: dd50a6eaeaf63773bbf04d6ef34b86d6f92b7825
diff --git a/stack.yaml b/stack.yaml
index d66b976ae..3a50b6f0c 100644
--- a/stack.yaml
+++ b/stack.yaml
@@ -12,10 +12,9 @@ flags:
packages:
- '.'
extra-deps:
-# - pandoc-types-1.20
-# better-tables
+# to be replaced eventually by pandoc-types-1.21:
- git: https://github.com/jgm/pandoc-types
- commit: 4acb0e50f10d8f41f94c0973384d63f06d0b9ffd
+ commit: dd50a6eaeaf63773bbf04d6ef34b86d6f92b7825
- git: https://github.com/jgm/pandoc-citeproc
commit: 2e6fe791ec5293acc925c2ccbe79c9c10d2b7e07
- texmath-0.12.0.2