diff options
| -rw-r--r-- | stack.yaml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/stack.yaml b/stack.yaml index 0a7ec43c8..28ab11036 100644 --- a/stack.yaml +++ b/stack.yaml @@ -7,8 +7,11 @@ flags: network-uri: true packages: - '.' +- location: + git: https://github.com/jgm/pandoc-types.git + commit: 7a8482efc2f8627fe83a2ad2a306961483b25011 extra-deps: - doctemplates-0.1.0.2 - texmath-0.8.6.6 -- pandoc-types-1.17.0.1 +#- pandoc-types-1.17.0.1 resolver: lts-7.2 |