From c7915208abc2f62dc8caa1fc77ceb940e4b75fcc Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Mon, 12 Sep 2022 10:20:22 +0200 Subject: [PATCH] Depend on dev texmath. --- cabal.project | 5 +++++ stack.yaml | 4 ++-- 2 files changed, 7 insertions(+), 2 deletions(-) diff --git a/cabal.project b/cabal.project index b2effd0e0..ef2abf7fe 100644 --- a/cabal.project +++ b/cabal.project @@ -19,3 +19,8 @@ source-repository-package type: git location: https://github.com/quarto-dev/gridtables tag: 1dbf2ad311fc7b2d9aded51eb263067b6ff3ae28 + +source-repository-package + type: git + location: https://github.com/jgm/texmath + tag: 0fb6bf8cff1a424cdbc91713c30e59dbb979211c diff --git a/stack.yaml b/stack.yaml index e03899044..bb7f15187 100644 --- a/stack.yaml +++ b/stack.yaml @@ -23,7 +23,6 @@ extra-deps: - doclayout-0.4 - doctemplates-0.10.0.2 - citeproc-0.8.0.1 -- texmath-0.12.5.2 - git: https://github.com/jgm/skylighting commit: 6079d8b0fb6e45c6a03b05501900be1c151701e6 subdirs: [skylighting-format-blaze-html] @@ -32,7 +31,8 @@ extra-deps: subdirs: [commonmark-extensions] - git: https://github.com/quarto-dev/gridtables commit: 1dbf2ad311fc7b2d9aded51eb263067b6ff3ae28 - +- git: https://github.com/jgm/texmath + commit: 0fb6bf8cff1a424cdbc91713c30e59dbb979211c ghc-options: "$locals": -fhide-source-paths -Wno-missing-home-modules resolver: lts-19.21