diff options
| author | John MacFarlane <[email protected]> | 2024-02-29 20:24:46 -0800 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2024-02-29 20:24:46 -0800 |
| commit | 79567bf7f4d2d21d203acf0a6189ca7e64c5fc67 (patch) | |
| tree | 84845a20108ae7205cac5ea52123e1c4ff359296 /stack.yaml | |
| parent | 67fa6cda5c871093ef5e6711b1face0f66f3a8c1 (diff) | |
Depend on released djot 0.1.1.0
Diffstat (limited to 'stack.yaml')
| -rw-r--r-- | stack.yaml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/stack.yaml b/stack.yaml index c48f6733c..0895bb1b5 100644 --- a/stack.yaml +++ b/stack.yaml @@ -16,8 +16,7 @@ extra-deps: - typst-0.5.0.1 - tls-2.0.1 - skylighting-format-blaze-html-0.1.1.2 -- git: https://github.com/jgm/djoths - commit: 970390f4e8d1650378c826d293482ddf710c58a9 +- djot-0.1.1.0 ghc-options: "$locals": -fhide-source-paths -Wno-missing-home-modules |