Rely on dev version of djoths.

2026-08-30 17:59:17 +08:00 · 2024-02-20 08:23:28 -08:00
parent b103792c17
commit 7a65ef25a0
2 changed files with 6 additions and 2 deletions
@@ -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
@@ -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