Use dev djoths.

2026-09-27 09:55:57 +00:00 · 2024-09-12 08:29:47 -07:00
parent f28de2f8ee
commit 289d8bafcb
2 changed files with 6 additions and 0 deletions
@@ -13,3 +13,7 @@ source-repository-package
  subdir: commonmark
  tag: ff9fe5736d2b8eb65e148e9c4a2a95b3d96eefd6

+source-repository-package
+  type: git
+  location: https://github.com/jgm/djoths
+  tag: 1da0c094a4bdfd67ce195b1c338075a6dcd1f3a4
@@ -26,6 +26,8 @@ extra-deps:
 - git: https://github.com/jgm/commonmark-hs
  subdirs: [commonmark]
  commit: ff9fe5736d2b8eb65e148e9c4a2a95b3d96eefd6
+- git: https://github.com/jgm/djoths
+  commit: 1da0c094a4bdfd67ce195b1c338075a6dcd1f3a4

 ghc-options:
   "$locals": -fhide-source-paths -Wno-missing-home-modules