diff options
| author | John MacFarlane <[email protected]> | 2025-09-27 13:36:45 +0200 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2025-09-27 13:36:45 +0200 |
| commit | def9fc94ff5b1861739d7cf70ac8e69527569298 (patch) | |
| tree | 051672f1902c5b1c51c5cf6919dcd40a0a5eb47b /stack.yaml | |
| parent | d6bc9c3cce15af05826554c0238f500bfd7401e4 (diff) | |
Use released djot 0.1.2.3.
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 51548e448..312fb7d37 100644 --- a/stack.yaml +++ b/stack.yaml @@ -17,8 +17,7 @@ extra-deps: - skylighting-0.14.7 - citeproc-0.10 - texmath-0.13 -- git: https://github.com/jgm/djoths.git - commit: f022191efa477ab23f1c86a528ada69bbf03744b +- djot-0.1.2.3 ghc-options: "$locals": -fhide-source-paths -Wno-missing-home-modules resolver: lts-24.9 |