Use latest dev version of doclayout.
This reduces compile time/memory consumption for pandoc considerably.
See jgm/doclayout#1.
commitc55a73b642fc24d3557c3683f101d13d89ee3316
authorJohn MacFarlane <jgm@berkeley.edu>
dateSat 13 Mar 2021, 23:43 (6 years ago)
parent35688c4
stack.yaml+2−3
@@ -8,10 +8,9 @@ extra-deps:
88- hslua-1.3.0
99- hslua-module-path-0.1.0
1010- jira-wiki-markup-1.3.4
11+- git: https://github.com/jgm/doclayout.git
12+ commit: 7a23715f10fe20f1cd4d0a35a1fc57c2268d261f
1113- citeproc-0.3.0.9
12−#- citeproc:
13−# git: https://github.com/jgm/citeproc.git
14−# commit: feb3b7580c6738eec3b23921f7c1739cfba611aa
1514ghc-options:
1615 "$locals": -fhide-source-paths -Wno-missing-home-modules
1716resolver: lts-17.5