diff options
| -rw-r--r-- | cabal.project | 6 | ||||
| -rw-r--r-- | pandoc.cabal | 4 | ||||
| -rw-r--r-- | stack.yaml | 3 |
3 files changed, 2 insertions, 11 deletions
diff --git a/cabal.project b/cabal.project index 89ea72e73..1f412e753 100644 --- a/cabal.project +++ b/cabal.project @@ -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 diff --git a/pandoc.cabal b/pandoc.cabal index 0fd7e125b..974bb3b14 100644 --- a/pandoc.cabal +++ b/pandoc.cabal @@ -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, diff --git a/stack.yaml b/stack.yaml index 1488484e7..e7b6de8bf 100644 --- a/stack.yaml +++ b/stack.yaml @@ -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 |