diff options
| author | John MacFarlane <[email protected]> | 2018-04-26 09:45:45 -0700 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2018-04-26 12:23:25 -0700 |
| commit | dba86dcceba1508c8fa4101a6d9cfb925af2f034 (patch) | |
| tree | 63af8e2c51d4ce9b5de8da1681a7e8d0fed5cd5d /stack.yaml | |
| parent | e3d05171f3661008a3377c2b0f793fc846cfe497 (diff) | |
Use texmath-0.10.1.2.
Closes #4597.
Diffstat (limited to 'stack.yaml')
| -rw-r--r-- | stack.yaml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/stack.yaml b/stack.yaml index fef2c479b..9c59e5e44 100644 --- a/stack.yaml +++ b/stack.yaml @@ -21,6 +21,7 @@ extra-deps: - pandoc-types-1.17.4.2 - cmark-gfm-0.1.3 - hslua-module-text-0.1.2.1 +- texmath-0.10.1.2 ghc-options: "$locals": -fhide-source-paths -XNoImplicitPrelude resolver: lts-10.10 |