diff options
| -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 |