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 1e720ca6b..c45b9078a 100644 --- a/stack.yaml +++ b/stack.yaml @@ -18,6 +18,7 @@ extra-deps: - skylighting-0.6 - ansi-terminal-0.7.1.1 - tasty-1.0.0.1 +- texmath-0.10.1.1 ghc-options: "$locals": -fhide-source-paths resolver: lts-10.3 |