diff options
| -rw-r--r-- | stack.yaml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stack.yaml b/stack.yaml index 8077da570..5ef814487 100644 --- a/stack.yaml +++ b/stack.yaml @@ -18,10 +18,10 @@ extra-deps: - commonmark-pandoc-0.2.0.1 - doctemplates-0.9 - texmath-0.12.1 -- citeproc-0.3.0.5 -# - citeproc: -# git: https://github.com/jgm/citeproc.git -# commit: d44e24696ab444090d0e63e321c3a573f68b2e74 +# - citeproc-0.3.0.5 +- citeproc: + git: https://github.com/jgm/citeproc.git + commit: da1f9702fa70d7e1bad9a796f897e920e2d578f7 ghc-options: "$locals": -fhide-source-paths -Wno-missing-home-modules resolver: lts-16.23 |