diff options
| -rw-r--r-- | stack.pkg.yaml | 1 | ||||
| -rw-r--r-- | stack.yaml | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/stack.pkg.yaml b/stack.pkg.yaml index 8e659b048..80ef88d84 100644 --- a/stack.pkg.yaml +++ b/stack.pkg.yaml @@ -17,6 +17,7 @@ packages: commit: 5a7f26b61c8577916093851cdeb31fa9a198edcb extra-dep: false extra-deps: +- texmath-0.9.4.2 - hslua-0.8.0 - skylighting-0.3.4.1 - cmark-gfm-0.1.1 diff --git a/stack.yaml b/stack.yaml index 25a24a804..38042c5b7 100644 --- a/stack.yaml +++ b/stack.yaml @@ -7,6 +7,7 @@ flags: packages: - '.' extra-deps: +- texmath-0.9.4.2 - hslua-0.8.0 - skylighting-0.3.4.1 - cmark-gfm-0.1.1 |