diff options
| -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 d5afefaa6..5c966d58b 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, skylighting-format-context >= 0.1.0.2 + +source-repository-package + type: git + location: https://github.com/jgm/texmath + tag: d6693220408415cc6b7739a74142838584f176c0 diff --git a/stack.yaml b/stack.yaml index 929c68437..3f7caa5bc 100644 --- a/stack.yaml +++ b/stack.yaml @@ -33,7 +33,6 @@ extra-deps: - lpeg-1.0.4 - mime-types-0.1.1.0 - doctemplates-0.11 -- texmath-0.12.7.1 - citeproc-0.8.1 - pandoc-types-1.23 - pandoc-lua-marshal-0.2.2 @@ -46,6 +45,8 @@ extra-deps: - zip-archive-0.4.3 - commonmark-extensions-0.2.3.4 - doclayout-0.4.0.1 +- git: https://github.com/jgm/texmath + commit: d6693220408415cc6b7739a74142838584f176c0 ghc-options: "$locals": -fhide-source-paths -Wno-missing-home-modules |