diff options
| -rw-r--r-- | stack.pkg.yaml | 3 | ||||
| -rw-r--r-- | stack.yaml | 3 |
2 files changed, 4 insertions, 2 deletions
diff --git a/stack.pkg.yaml b/stack.pkg.yaml index 25a10851a..91b674902 100644 --- a/stack.pkg.yaml +++ b/stack.pkg.yaml @@ -19,4 +19,5 @@ packages: extra-dep: false extra-deps: - skylighting-0.3.1 -resolver: lts-8.2 +- texmath-0.9.1.1 +resolver: lts-8.4 diff --git a/stack.yaml b/stack.yaml index 64efe199a..591f7888c 100644 --- a/stack.yaml +++ b/stack.yaml @@ -9,4 +9,5 @@ packages: - '.' extra-deps: - skylighting-0.3.1 -resolver: lts-8.2 +- texmath-0.9.1.1 +resolver: lts-8.4 |