diff options
Diffstat (limited to 'stack.yaml')
| -rw-r--r-- | stack.yaml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/stack.yaml b/stack.yaml index 16d23db60..5530c0433 100644 --- a/stack.yaml +++ b/stack.yaml @@ -39,7 +39,9 @@ extra-deps: - commonmark-extensions-0.2.3.1 - doclayout-0.4 - doctemplates-0.10.0.2 -- citeproc-0.8 +- git: https://github.com/jgm/citeproc + commit: 647c5d292bbb6d9a8d683bcae0ba129c65086901 + ghc-options: "$locals": -fhide-source-paths -Wno-missing-home-modules resolver: lts-18.10 |