diff options
Diffstat (limited to 'stack.yaml')
| -rw-r--r-- | stack.yaml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stack.yaml b/stack.yaml index f3ee54b3e..483d012dd 100644 --- a/stack.yaml +++ b/stack.yaml @@ -19,7 +19,7 @@ extra-deps: - git: https://github.com/jgm/citeproc.git commit: cf5542df8f21085bbfd794eaa5cc40abc605637b - git: https://github.com/jgm/texmath.git - commit: bdf2608dcc2e54e4167c38470e2fda01557310be + commit: 4f2acdc8c6a3e26ccb778305fecf824286b0419c ghc-options: "$locals": -fhide-source-paths -Wno-missing-home-modules |