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 4d303b8ce..d90e05699 100644 --- a/stack.yaml +++ b/stack.yaml @@ -34,7 +34,6 @@ extra-deps: - aeson-pretty-0.8.9 - unicode-transforms-0.4.0@rev:1 - unicode-data-0.3.0 -- texmath-0.12.4 - commonmark-pandoc-0.2.1.2 - ipynb-0.2 - git: https://github.com/jgm/citeproc.git @@ -42,6 +41,8 @@ extra-deps: - git: https://github.com/jgm/commonmark-hs.git commit: 02f573527d537a3f9e037d460638d1e4f8a5ca9b subdirs: [commonmark, commonmark-extensions] +- git: https://github.com/jgm/texmath.git + commit: 70ed0b8d143fcfc78b425885ed593c91305c8639 ghc-options: "$locals": -fhide-source-paths -Wno-missing-home-modules resolver: lts-18.10 |