diff options
Diffstat (limited to 'stack.yaml')
-rw-r--r-- | stack.yaml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stack.yaml b/stack.yaml index d936767ab..41df0c88c 100644 --- a/stack.yaml +++ b/stack.yaml @@ -17,10 +17,10 @@ extra-deps: - commonmark-extensions-0.2.0.4 - commonmark-pandoc-0.2.0.1 - doctemplates-0.9 -# - citeproc-0.2.0.1 -- citeproc: - git: https://github.com/jgm/citeproc.git - commit: a8193fe375fa2354049bf9a967ba3bad4b1ba053 +- citeproc-0.3 +# - citeproc: +# git: https://github.com/jgm/citeproc.git +# commit: a8193fe375fa2354049bf9a967ba3bad4b1ba053 ghc-options: "$locals": -fhide-source-paths -Wno-missing-home-modules resolver: lts-16.23 |