diff options
Diffstat (limited to 'stack.yaml')
| -rw-r--r-- | stack.yaml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/stack.yaml b/stack.yaml index 43fdb18ba..d3679d994 100644 --- a/stack.yaml +++ b/stack.yaml @@ -15,9 +15,10 @@ extra-deps: - hslua-packaging-2.3.2 - skylighting-core-0.14.7 - skylighting-0.14.7 -- citeproc-0.10 - djot-0.1.2.3 - texmath-0.13.0.1 +- git: https://github.com/jgm/citeproc.git + commit: 4bb4c209fb1dd3fa6f6aaa5bfe76022059c0affa ghc-options: "$locals": -fhide-source-paths -Wno-missing-home-modules resolver: lts-24.9 |