From 4040811e63ea181ec555ba67be2846146f2f0a16 Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Sun, 5 Jan 2025 23:43:15 -0800 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 e7522cdbe..86798d1ae 100644 --- a/cabal.project +++ b/cabal.project @@ -12,4 +12,4 @@ constraints: skylighting-format-blaze-html >= 0.1.1.3, source-repository-package type: git location: https://github.com/jgm/texmath.git - tag: 178226929f9f6af749da68af830cbc49793abfa2 + tag: 4f8d982abf6efaef6512f3671e47120eeced15b5 diff --git a/stack.yaml b/stack.yaml index 0f9df1fc7..1c3c2f1ae 100644 --- a/stack.yaml +++ b/stack.yaml @@ -14,7 +14,7 @@ extra-deps: - skylighting-core-0.14.5 - skylighting-0.14.5 - git: https://github.com/jgm/texmath.git - commit: 178226929f9f6af749da68af830cbc49793abfa2 + commit: 4f8d982abf6efaef6512f3671e47120eeced15b5 ghc-options: "$locals": -fhide-source-paths -Wno-missing-home-modules resolver: lts-23.0