diff options
author | John MacFarlane <jgm@berkeley.edu> | 2020-04-17 10:05:55 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2020-04-17 10:05:55 -0700 |
commit | 7accbd585e3d4f843319ce220232d74485900a00 (patch) | |
tree | dd255a7d09612e7caee25f5157a349c4b2c1848a /stack.yaml | |
parent | 906305de789c83f9fdcc2c7d30044acf97e89582 (diff) | |
download | pandoc-7accbd585e3d4f843319ce220232d74485900a00.tar.gz |
Use main pandoc-types repository...
now that @despresc's changes have been merged.
Diffstat (limited to 'stack.yaml')
-rw-r--r-- | stack.yaml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stack.yaml b/stack.yaml index 3d395f168..d6ae4eee7 100644 --- a/stack.yaml +++ b/stack.yaml @@ -14,8 +14,8 @@ packages: extra-deps: # - pandoc-types-1.20 # better-tables -- git: https://github.com/despresc/pandoc-types - commit: 09cb4314010365abc4512c2363b83711c92ac18b +- git: https://github.com/jgm/pandoc-types + commit: f76c1b7db0931c4fe357827033e75efe5ab4f6bf - texmath-0.12.0.1 - haddock-library-1.8.0 - skylighting-0.8.3.2 |