diff options
Diffstat (limited to 'stack.yaml')
| -rw-r--r-- | stack.yaml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stack.yaml b/stack.yaml index 863a00cee..39febc899 100644 --- a/stack.yaml +++ b/stack.yaml @@ -15,8 +15,8 @@ extra-deps: - commonmark-extensions-0.2.5.2 - commonmark-pandoc-0.2.2.1 - typst-0.5.0.1 -- djot-0.1.0.0 - +- git: https://github.com/jgm/djoths + commit: 970390f4e8d1650378c826d293482ddf710c58a9 ghc-options: "$locals": -fhide-source-paths -Wno-missing-home-modules resolver: lts-22.11 |