From 144eb4e51bb6d077c38e94db62638edbc57df8c3 Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Thu, 18 Dec 2025 11:33:58 +0100 Subject: Use latest dev djoths. --- cabal.project | 5 +++++ stack.yaml | 3 ++- 2 files changed, 7 insertions(+), 1 deletion(-) diff --git a/cabal.project b/cabal.project index 0d34944c5..ee6b8bac0 100644 --- a/cabal.project +++ b/cabal.project @@ -26,3 +26,8 @@ source-repository-package type: git location: https://github.com/jgm/texmath.git tag: aee6b494595a58dbbf769264061876778f7aa269 + +source-repository-package + type: git + location: https://github.com/jgm/djoths.git + tag: a6fc625fd58aa39df05dd1d82ee005e681815095 diff --git a/stack.yaml b/stack.yaml index 24f0d4d03..4fefd5c9b 100644 --- a/stack.yaml +++ b/stack.yaml @@ -14,7 +14,6 @@ extra-deps: - hslua-objectorientation-2.4.0 - hslua-packaging-2.3.2 - typst-symbols-0.1.9.1 -- djot-0.1.2.4 - git: https://github.com/jgm/asciidoc-hs.git commit: c2b4852e0002a7995793ec0e3c44b723a85a2ca2 - git: https://github.com/jgm/typst-hs.git @@ -23,6 +22,8 @@ extra-deps: commit: 777a916be683a40e9b5e17da25816917b6fb1208 - git: https://github.com/jgm/texmath.git commit: aee6b494595a58dbbf769264061876778f7aa269 +- git: https://github.com/jgm/djoths.git + commit: a6fc625fd58aa39df05dd1d82ee005e681815095 ghc-options: "$locals": -fhide-source-paths -Wno-missing-home-modules resolver: lts-24.20 -- cgit v1.2.3