diff options
| -rw-r--r-- | stack.pkg.yaml | 2 | ||||
| -rw-r--r-- | stack.yaml | 6 |
2 files changed, 2 insertions, 6 deletions
diff --git a/stack.pkg.yaml b/stack.pkg.yaml index fde096dae..8c0f20176 100644 --- a/stack.pkg.yaml +++ b/stack.pkg.yaml @@ -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 diff --git a/stack.yaml b/stack.yaml index 7d3c3e341..a66c60442 100644 --- a/stack.yaml +++ b/stack.yaml @@ -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 |