diff options
| author | John MacFarlane <[email protected]> | 2024-02-20 08:23:28 -0800 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2024-02-20 08:23:43 -0800 |
| commit | 7a65ef25a01a0091764d104b92c232e8cb39a2ed (patch) | |
| tree | 869c4b7d69858e2e9bcd85fefefea1be5f3141f7 | |
| parent | b103792c17062aab6690ebb4f2542a280ff3d846 (diff) | |
Rely on dev version of djoths.
| -rw-r--r-- | cabal.project | 4 | ||||
| -rw-r--r-- | stack.yaml | 4 |
2 files changed, 6 insertions, 2 deletions
diff --git a/cabal.project b/cabal.project index 8db3d5a47..8b89cde49 100644 --- a/cabal.project +++ b/cabal.project @@ -7,3 +7,7 @@ flags: +embed_data_files constraints: skylighting-format-blaze-html >= 0.1.1.1, skylighting-format-context >= 0.1.0.2 +source-repository-package + type: git + location: https://github.com/jgm/djoths + tag: 970390f4e8d1650378c826d293482ddf710c58a9 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 |