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 7a849b713..ef0bc7a83 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.8.3 -#- citeproc-0.2 -- citeproc: - git: https://github.com/jgm/citeproc.git - commit: 42b1d154b02435229acbe98ae0f17d01b757ee93 +- citeproc-0.2.0.1 +# - citeproc: +# git: https://github.com/jgm/citeproc.git +# commit: 42b1d154b02435229acbe98ae0f17d01b757ee93 ghc-options: "$locals": -fhide-source-paths -Wno-missing-home-modules resolver: lts-16.23 |