Use latest skylighting.

This should fix #5328.
This commit is contained in:
John MacFarlane 2019-02-27 22:14:01 -08:00
parent b72b395127
commit be14a95f07
2 changed files with 3 additions and 3 deletions

View file

@ -380,7 +380,7 @@ library
tagsoup >= 0.14.6 && < 0.15, tagsoup >= 0.14.6 && < 0.15,
base64-bytestring >= 0.1 && < 1.1, base64-bytestring >= 0.1 && < 1.1,
zlib >= 0.5 && < 0.7, zlib >= 0.5 && < 0.7,
skylighting >= 0.7.6 && < 0.8, skylighting >= 0.7.7 && < 0.8,
data-default >= 0.4 && < 0.8, data-default >= 0.4 && < 0.8,
temporary >= 1.1 && < 1.4, temporary >= 1.1 && < 1.4,
blaze-html >= 0.9 && < 0.10, blaze-html >= 0.9 && < 0.10,

View file

@ -20,8 +20,8 @@ packages:
extra-dep: true extra-dep: true
extra-deps: extra-deps:
- pandoc-citeproc-0.16.1 - pandoc-citeproc-0.16.1
- skylighting-0.7.6 - skylighting-0.7.7
- skylighting-core-0.7.6 - skylighting-core-0.7.7
- ipynb-0.1 - ipynb-0.1
- texmath-0.11.2 - texmath-0.11.2
ghc-options: ghc-options: