diff options
Diffstat (limited to 'stack.yaml')
| -rw-r--r-- | stack.yaml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/stack.yaml b/stack.yaml index 61e501dbd..56ebde0bb 100644 --- a/stack.yaml +++ b/stack.yaml @@ -34,13 +34,14 @@ extra-deps: - commonmark-pandoc-0.2.1.2 - ipynb-0.2 - pandoc-types-1.22.2 -- texmath-0.12.5 - commonmark-0.2.2 - commonmark-extensions-0.2.3.1 - doclayout-0.4 - doctemplates-0.10.0.2 - git: https://github.com/jgm/citeproc commit: 647c5d292bbb6d9a8d683bcae0ba129c65086901 +- git: https://github.com/jgm/texmath + commit: c884291bc6ee0ac7fc28d180d248c3e3c7d6fc62 ghc-options: "$locals": -fhide-source-paths -Wno-missing-home-modules |
