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 6c4bb294a..1bf80f424 100644 --- a/stack.lts9.yaml +++ b/stack.lts9.yaml @@ -18,7 +18,7 @@ extra-deps: - hslua-module-text-0.1.2 - skylighting-0.6 - ansi-terminal-0.7.1.1 -- texmath-0.10.1 +- texmath-0.10.1.1 - cmark-gfm-0.1.1 - QuickCheck-2.10.0.1 - tasty-quickcheck-0.9.1 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 |