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 6ab76bb21..0f21bbb6c 100644 --- a/stack.yaml +++ b/stack.yaml @@ -12,6 +12,7 @@ extra-deps: - skylighting-0.10.4.1 - doclayout-0.3.0.2 - citeproc-0.3.0.9 +- texmath-0.12.2 ghc-options: "$locals": -fhide-source-paths -Wno-missing-home-modules resolver: lts-17.5 |