Use pandoc-types 1.17.2.

This commit is contained in:
John MacFarlane 2017-09-24 13:12:14 -07:00
parent 2d416e203e
commit 5a3fa5207d
2 changed files with 2 additions and 6 deletions

View file

@ -17,6 +17,7 @@ packages:
commit: d13bd7ca04fc9549b64e43b3d466b70da8398ef1
extra-dep: false
extra-deps:
- pandoc-types-1.17.2
- texmath-0.9.4.2
- hslua-0.8.0
- skylighting-0.4
@ -24,5 +25,4 @@ extra-deps:
- QuickCheck-2.10.0.1
- tasty-quickcheck-0.9.1
- haddock-library-1.4.3
- pandoc-types-1.17.1
resolver: lts-9.1

View file

@ -6,11 +6,8 @@ flags:
network-uri: true
packages:
- '.'
- location:
git: https://github.com/jgm/pandoc-types.git
commit: 10dd48e234c51433033eb1ec531fe7a5f7889cad
extra-dep: false
extra-deps:
- pandoc-types-1.17.2
- texmath-0.9.4.2
- hslua-0.8.0
- skylighting-0.4
@ -18,5 +15,4 @@ extra-deps:
- QuickCheck-2.10.0.1
- tasty-quickcheck-0.9.1
- haddock-library-1.4.3
- pandoc-types-1.17.1
resolver: lts-9.1