From 055c5e5549717ac9331e6a31bfb784f319ef2686 Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Sat, 13 May 2023 11:36:49 -0700 Subject: [PATCH] Use latest dev texmath. --- cabal.project | 2 +- stack.yaml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/cabal.project b/cabal.project index 059950d1c..6b41449db 100644 --- a/cabal.project +++ b/cabal.project @@ -10,4 +10,4 @@ constraints: skylighting-format-blaze-html >= 0.1.1, source-repository-package type: git location: https://github.com/jgm/texmath - tag: b9f7b8d9d1552ac099db3a6461ae9714017af1e0 + tag: 7a15b2ced617d62a12e1af04487733bf1f8a6d32 diff --git a/stack.yaml b/stack.yaml index 259d2ffb4..18243f6c1 100644 --- a/stack.yaml +++ b/stack.yaml @@ -46,7 +46,7 @@ extra-deps: - commonmark-extensions-0.2.3.4 - doclayout-0.4.0.1 - git: https://github.com/jgm/texmath - commit: b9f7b8d9d1552ac099db3a6461ae9714017af1e0 + commit: 7a15b2ced617d62a12e1af04487733bf1f8a6d32 ghc-options: "$locals": -fhide-source-paths -Wno-missing-home-modules