diff options
author | John MacFarlane <jgm@berkeley.edu> | 2021-03-15 15:35:15 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2021-03-15 15:35:15 -0700 |
commit | a9ef6b4380c6b34bcc61719f09ff282c8b633772 (patch) | |
tree | f5534e6499481caad07ce900b8bcbf6aa1c7ac44 | |
parent | 805d12ac9cc91913cbb6275e8ef94f49985df5e1 (diff) | |
download | pandoc-a9ef6b4380c6b34bcc61719f09ff282c8b633772.tar.gz |
Use doclayout 0.3.0.2.
This further reduces time and memory needed to compile pandoc.
-rw-r--r-- | stack.yaml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stack.yaml b/stack.yaml index c0bf272f7..6ab76bb21 100644 --- a/stack.yaml +++ b/stack.yaml @@ -10,7 +10,7 @@ extra-deps: - jira-wiki-markup-1.3.4 - skylighting-core-0.10.4.1 - skylighting-0.10.4.1 -- doclayout-0.3.0.1 +- doclayout-0.3.0.2 - citeproc-0.3.0.9 ghc-options: "$locals": -fhide-source-paths -Wno-missing-home-modules |