mirror of
https://github.com/jgm/pandoc.git
synced 2026-08-25 17:56:32 +00:00
Use released skylighting 0.13.2.1
This commit is contained in:
@@ -6,9 +6,3 @@ tests: True
|
||||
flags: +embed_data_files
|
||||
constraints: skylighting-format-blaze-html >= 0.1.1,
|
||||
skylighting-format-context >= 0.1.0.1
|
||||
|
||||
source-repository-package
|
||||
type: git
|
||||
location: https://github.com/jgm/skylighting
|
||||
tag: 356be9ee8b3c12f0523a85c00626ee13c155e336
|
||||
subdir: skylighting-core
|
||||
|
||||
+2
-2
@@ -506,8 +506,8 @@ library
|
||||
random >= 1 && < 1.3,
|
||||
safe >= 0.3.18 && < 0.4,
|
||||
scientific >= 0.3 && < 0.4,
|
||||
skylighting >= 0.13.2 && < 0.14,
|
||||
skylighting-core >= 0.13.2 && < 0.14,
|
||||
skylighting >= 0.13.2.1 && < 0.14,
|
||||
skylighting-core >= 0.13.2.1 && < 0.14,
|
||||
split >= 0.2 && < 0.3,
|
||||
syb >= 0.1 && < 0.8,
|
||||
tagsoup >= 0.14.6 && < 0.15,
|
||||
|
||||
@@ -21,9 +21,6 @@ extra-deps:
|
||||
- pandoc-types-1.23
|
||||
- pandoc-lua-marshal-0.2.0
|
||||
- commonmark-pandoc-0.2.1.3
|
||||
- git: https://github.com/jgm/skylighting
|
||||
commit: 356be9ee8b3c12f0523a85c00626ee13c155e336
|
||||
subdirs: [skylighting-core]
|
||||
|
||||
ghc-options:
|
||||
"$locals": -fhide-source-paths -Wno-missing-home-modules
|
||||
|
||||
Reference in New Issue
Block a user