diff options
Diffstat (limited to 'stack.yaml')
| -rw-r--r-- | stack.yaml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/stack.yaml b/stack.yaml index e85d101f6..0989fbed1 100644 --- a/stack.yaml +++ b/stack.yaml @@ -13,7 +13,7 @@ packages: - '.' extra-deps: - pandoc-citeproc-0.16.3.1 -- pandoc-types-1.17.6.1 +#- pandoc-types-1.17.6.1 - texmath-0.11.3 - haddock-library-1.8.0 - skylighting-0.8.2.3 @@ -23,6 +23,8 @@ extra-deps: - HsYAML-0.2.0.0 - HsYAML-aeson-0.2.0.0 - doctemplates-0.7 +- git: https://github.com/jgm/pandoc-types + commit: 00f7bb79e79d7cfd3523880dbc64ba3ea46c3da2 ghc-options: "$locals": -fhide-source-paths -Wno-missing-home-modules resolver: lts-14.6 |
