diff options
| author | John MacFarlane <[email protected]> | 2024-02-14 23:31:01 -0800 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2024-02-14 23:31:01 -0800 |
| commit | 307fc065aaf6aba84ab9d8222ce071cf0a46f6e6 (patch) | |
| tree | 9de71f37beb66e51d0aeed12fa494c8f7eb2c36e | |
| parent | e9425aaed700553b35aab9842ed03636a487640b (diff) | |
Depend on released version of djot.
| -rw-r--r-- | cabal.project | 4 | ||||
| -rw-r--r-- | stack.yaml | 3 |
2 files changed, 1 insertions, 6 deletions
diff --git a/cabal.project b/cabal.project index 7ca74bd5b..8db3d5a47 100644 --- a/cabal.project +++ b/cabal.project @@ -7,7 +7,3 @@ 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: 3d53e40442d22726430b6a89bfb7fba92cd99a91 diff --git a/stack.yaml b/stack.yaml index a7c20b45f..863a00cee 100644 --- a/stack.yaml +++ b/stack.yaml @@ -15,8 +15,7 @@ extra-deps: - commonmark-extensions-0.2.5.2 - commonmark-pandoc-0.2.2.1 - typst-0.5.0.1 -- git: https://github.com/jgm/djoths - commit: 3d53e40442d22726430b6a89bfb7fba92cd99a91 +- djot-0.1.0.0 ghc-options: "$locals": -fhide-source-paths -Wno-missing-home-modules |