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 518c24b63..92a80c4ff 100644 --- a/stack.yaml +++ b/stack.yaml @@ -20,10 +20,10 @@ extra-deps: - doctemplates: git: https://github.com/jgm/doctemplates.git commit: 7ccbf7df16edbc7c5d835d955b242c61fd4e6601 -- citeproc-0.2.0.1 -# - citeproc: -# git: https://github.com/jgm/citeproc.git -# commit: 42b1d154b02435229acbe98ae0f17d01b757ee93 +# - citeproc-0.2.0.1 +- citeproc: + git: https://github.com/jgm/citeproc.git + commit: a8193fe375fa2354049bf9a967ba3bad4b1ba053 ghc-options: "$locals": -fhide-source-paths -Wno-missing-home-modules resolver: lts-16.23 |