diff options
Diffstat (limited to 'deb')
| -rw-r--r-- | deb/stack.yaml | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/deb/stack.yaml b/deb/stack.yaml index 4a777d4ef..29213c8eb 100644 --- a/deb/stack.yaml +++ b/deb/stack.yaml @@ -16,6 +16,5 @@ packages: extra-deps: - pandoc-citeproc-0.10.1.1 - doctemplates-0.1.0.2 -- http-client-0.5.0 -- http-client-tls-0.3.0 -resolver: lts-7.0 +- texmath-0.8.6.6 +resolver: lts-7.2 |