mirror of
https://github.com/jgm/pandoc.git
synced 2026-08-23 16:56:43 +00:00
stack.yaml: update skylighting deps.
This commit is contained in:
@@ -21,6 +21,8 @@ extra-deps:
|
||||
- pandoc-types-1.23
|
||||
- pandoc-lua-marshal-0.2.0
|
||||
- commonmark-pandoc-0.2.1.3
|
||||
- skylighting-0.13.2.1
|
||||
- skylighting-core-0.13.2.1
|
||||
|
||||
ghc-options:
|
||||
"$locals": -fhide-source-paths -Wno-missing-home-modules
|
||||
|
||||
Reference in New Issue
Block a user