Use djot 0.1.2.1.

This commit is contained in:
John MacFarlane
2024-06-24 11:47:02 -07:00
parent c5efa6b600
commit 8bdea3f331
3 changed files with 2 additions and 8 deletions
-5
View File
@@ -11,8 +11,3 @@ source-repository-package
type: git
location: https://github.com/jgm/typst-hs
tag: dfe0367b248419c3555044705fa79a52b9c20089
source-repository-package
type: git
location: https://github.com/jgm/djoths
tag: 7f912e3ee593a86e3d179e8f3e1898a93171fb99
+1 -1
View File
@@ -532,7 +532,7 @@ library
xml >= 1.3.12 && < 1.4,
typst >= 0.5.0.3 && < 0.5.1,
vector >= 0.12 && < 0.14,
djot >= 0.1.2 && < 0.2,
djot >= 0.1.2.1 && < 0.2,
tls >= 2.0.1 && < 2.1,
crypton-x509-system >= 1.6.7 && < 1.7
+1 -2
View File
@@ -19,10 +19,9 @@ extra-deps:
- skylighting-core-0.14.2
- skylighting-0.14.2
- citeproc-0.8.1.1
- djot-0.1.2.1
- git: https://github.com/jgm/typst-hs
commit: dfe0367b248419c3555044705fa79a52b9c20089
- git: https://github.com/jgm/djoths
commit: 7f912e3ee593a86e3d179e8f3e1898a93171fb99
ghc-options:
"$locals": -fhide-source-paths -Wno-missing-home-modules