diff options
| author | John MacFarlane <[email protected]> | 2024-03-06 15:08:25 -0800 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2024-03-06 15:08:25 -0800 |
| commit | 3d0e2efa8892e972539e4d2491fe900af0d2c5da (patch) | |
| tree | 8b73c90827821efd6195ef24ac75accd0a1d3a32 | |
| parent | 0ad5684996239ff731d428374a2b6e0096e9a344 (diff) | |
Depend on 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 62859a51d..ef4bb6f29 100644 --- a/cabal.project +++ b/cabal.project @@ -6,3 +6,8 @@ tests: True flags: +embed_data_files constraints: skylighting-format-blaze-html >= 0.1.1.2, skylighting-format-context >= 0.1.0.2 + +source-repository-package + type: git + location: https://github.com/jgm/texmath + tag: 85d7c9aaa19c9cc5f53f1cd56384cf89bef83ca4 diff --git a/stack.yaml b/stack.yaml index 737581715..b16c447b9 100644 --- a/stack.yaml +++ b/stack.yaml @@ -17,7 +17,8 @@ extra-deps: - tls-2.0.1 - skylighting-format-blaze-html-0.1.1.2 - djot-0.1.1.1 - +- git: https://github.com/jgm/texmath + commit: 85d7c9aaa19c9cc5f53f1cd56384cf89bef83ca4 ghc-options: "$locals": -fhide-source-paths -Wno-missing-home-modules resolver: lts-22.11 |