mirror of
https://github.com/jgm/pandoc.git
synced 2026-08-30 17:59:17 +08:00
Use emojis 0.1.5.
This commit is contained in:
+1
-1
@@ -532,7 +532,7 @@ library
|
||||
directory >= 1.2.3 && < 1.4,
|
||||
doclayout >= 0.5.0.1 && < 0.6,
|
||||
doctemplates >= 0.11 && < 0.12,
|
||||
emojis >= 0.1.4.1 && < 0.2,
|
||||
emojis >= 0.1.5 && < 0.2,
|
||||
exceptions >= 0.8 && < 0.11,
|
||||
file-embed >= 0.0 && < 0.1,
|
||||
filepath >= 1.1 && < 1.6,
|
||||
|
||||
@@ -33,6 +33,7 @@ extra-deps:
|
||||
- typst-symbols-0.2
|
||||
- typst-0.10
|
||||
- texmath-0.13.1.2
|
||||
- emojis-0.1.5
|
||||
|
||||
ghc-options:
|
||||
"$locals": -fhide-source-paths -Wno-missing-home-modules
|
||||
|
||||
Reference in New Issue
Block a user