diff options
author | John MacFarlane <jgm@berkeley.edu> | 2021-03-13 23:43:13 -0800 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2021-03-14 00:10:37 -0800 |
commit | c55a73b642fc24d3557c3683f101d13d89ee3316 (patch) | |
tree | 0f43e2f93c53cce9584ceecef7faf3e77024daf5 /stack.yaml | |
parent | 35688c42627dce4641f4f61253e3d3786452b61a (diff) | |
download | pandoc-c55a73b642fc24d3557c3683f101d13d89ee3316.tar.gz |
Use latest dev version of doclayout.
This reduces compile time/memory consumption for pandoc considerably.
See jgm/doclayout#1.
Diffstat (limited to 'stack.yaml')
-rw-r--r-- | stack.yaml | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/stack.yaml b/stack.yaml index ea494552e..02feb8e43 100644 --- a/stack.yaml +++ b/stack.yaml @@ -8,10 +8,9 @@ extra-deps: - hslua-1.3.0 - hslua-module-path-0.1.0 - jira-wiki-markup-1.3.4 +- git: https://github.com/jgm/doclayout.git + commit: 7a23715f10fe20f1cd4d0a35a1fc57c2268d261f - citeproc-0.3.0.9 -#- citeproc: -# git: https://github.com/jgm/citeproc.git -# commit: feb3b7580c6738eec3b23921f7c1739cfba611aa ghc-options: "$locals": -fhide-source-paths -Wno-missing-home-modules resolver: lts-17.5 |