diff options
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 |