diff options
Diffstat (limited to 'stack.yaml')
| -rw-r--r-- | stack.yaml | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/stack.yaml b/stack.yaml index 8514454ff..834d863ab 100644 --- a/stack.yaml +++ b/stack.yaml @@ -7,8 +7,10 @@ flags: network-uri: true packages: - '.' +- location: + git: https://github.com/jgm/pandoc-types.git + commit: 6580565f7271eb2d15a4d71c3415316850f47b29 extra-deps: -- http-client-0.5.0 -- http-client-tls-0.3.0 - doctemplates-0.1.0.2 -resolver: lts-7.0 +- texmath-0.8.6.6 +resolver: lts-7.2 |