diff options
| -rw-r--r-- | stack.lts9.yaml | 2 | ||||
| -rw-r--r-- | stack.yaml | 1 |
2 files changed, 2 insertions, 1 deletions
diff --git a/stack.lts9.yaml b/stack.lts9.yaml index de30e0605..9507d961d 100644 --- a/stack.lts9.yaml +++ b/stack.lts9.yaml @@ -17,7 +17,6 @@ extra-deps: - skylighting-0.7.0.2 - skylighting-core-0.7.0.2 - ansi-terminal-0.8.0.2 -- texmath-0.10.1.1 - cmark-gfm-0.1.3 - QuickCheck-2.11.3 - tasty-1.0.1.1 @@ -28,4 +27,5 @@ extra-deps: - tagsoup-0.14.6 - pandoc-types-1.17.4.2 - haddock-library-1.5.0.1 +- texmath-0.10.1.2 resolver: lts-9.14 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 |