diff options
| author | John MacFarlane <[email protected]> | 2025-10-04 21:10:50 +0200 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2025-10-04 21:10:50 +0200 |
| commit | 208142fcf2b3b255b9cb55d2062b6602b9e14780 (patch) | |
| tree | 72eace58d2d0f668b75ae2a54c71341711b97c23 | |
| parent | 4a87898dd794695b1f4f72f1f16a2a8843ebfc7e (diff) | |
Use dev version of texmath.
| -rw-r--r-- | cabal.project | 5 | ||||
| -rw-r--r-- | stack.yaml | 3 |
2 files changed, 7 insertions, 1 deletions
diff --git a/cabal.project b/cabal.project index 4ca6da52e..8b483ca77 100644 --- a/cabal.project +++ b/cabal.project @@ -9,3 +9,8 @@ constraints: skylighting-format-blaze-html >= 0.1.1.3, -- for now (commercialhaskell/stackage#7545): data-default-class <= 0.2, data-default <= 0.8 +source-repository-package + type: git + location: https://github.com/jgm/texmath.git + tag: 26b2b8b5c199b6180a7eda96b603a1193d741693 + diff --git a/stack.yaml b/stack.yaml index 312fb7d37..a379f71f2 100644 --- a/stack.yaml +++ b/stack.yaml @@ -16,8 +16,9 @@ extra-deps: - skylighting-core-0.14.7 - skylighting-0.14.7 - citeproc-0.10 -- texmath-0.13 - djot-0.1.2.3 +- git: https://github.com/jgm/texmath.git + commit: 26b2b8b5c199b6180a7eda96b603a1193d741693 ghc-options: "$locals": -fhide-source-paths -Wno-missing-home-modules resolver: lts-24.9 |