diff options
| author | John MacFarlane <[email protected]> | 2025-09-19 10:15:24 +0200 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2025-09-19 10:15:24 +0200 |
| commit | 3cf8c5f7161a63341f70a26a0f47894dca49dc83 (patch) | |
| tree | c272c95be4d49ef5057b49151648dae8071d6458 /stack.yaml | |
| parent | 70393b4235eb1d0c826d968e1ea6cbc96a28e8cb (diff) | |
Use dev version of djoths.
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 |