diff options
Diffstat (limited to 'stack.yaml')
| -rw-r--r-- | stack.yaml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/stack.yaml b/stack.yaml index 737581715..b16c447b9 100644 --- a/stack.yaml +++ b/stack.yaml @@ -17,7 +17,8 @@ extra-deps: - tls-2.0.1 - skylighting-format-blaze-html-0.1.1.2 - djot-0.1.1.1 - +- git: https://github.com/jgm/texmath + commit: 85d7c9aaa19c9cc5f53f1cd56384cf89bef83ca4 ghc-options: "$locals": -fhide-source-paths -Wno-missing-home-modules resolver: lts-22.11 |