Skip to content

Commit ad6b9dd

Browse files
committed
Use dev version of djot.
1 parent 066d1ba commit ad6b9dd

File tree

2 files changed

+7
-1
lines changed

2 files changed

+7
-1
lines changed

cabal.project

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -11,3 +11,8 @@ source-repository-package
1111
type: git
1212
location: https://github.com/jgm/texmath
1313
tag: 64e1cbf1fdbe19382804be487cc49bdcea2ac799
14+
15+
source-repository-package
16+
type: git
17+
location: https://github.com/jgm/djoths
18+
tag: 52882f88e4904eabc940e635595dad1008064be0

stack.yaml

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -18,13 +18,14 @@ extra-deps:
1818
- skylighting-format-blaze-html-0.1.1.2
1919
- skylighting-core-0.14.1.1
2020
- skylighting-0.14.1.1
21-
- djot-0.1.1.3
2221
- zip-archive-0.4.3.1
2322
- toml-parser-2.0.0.0
2423
- typst-symbols-0.1.6
2524
- typst-0.5.0.3
2625
- git: https://github.com/jgm/texmath
2726
commit: 64e1cbf1fdbe19382804be487cc49bdcea2ac799
27+
- git: https://github.com/jgm/djoths
28+
commit: 52882f88e4904eabc940e635595dad1008064be0
2829

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

0 commit comments

Comments
 (0)