diff options
Diffstat (limited to 'stack.yaml')
| -rw-r--r-- | stack.yaml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/stack.yaml b/stack.yaml index ef39bfad3..51548e448 100644 --- a/stack.yaml +++ b/stack.yaml @@ -17,6 +17,8 @@ extra-deps: - skylighting-0.14.7 - citeproc-0.10 - texmath-0.13 +- git: https://github.com/jgm/djoths.git + commit: f022191efa477ab23f1c86a528ada69bbf03744b ghc-options: "$locals": -fhide-source-paths -Wno-missing-home-modules resolver: lts-24.9 |