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 7256c16ec..7c94a74af 100644 --- a/cabal.project +++ b/cabal.project @@ -7,3 +7,8 @@ source-repository-package location: https://github.com/jgm/citeproc.git tag: b27201c3ac48ffd2853f77152df19b6e2cf36987 +source-repository-package + type: git + location: https://github.com/jgm/texmath.git + tag: 19700530733707284bb41f24add757f19ca23430 + diff --git a/stack.yaml b/stack.yaml index e93b6b0a7..90735215e 100644 --- a/stack.yaml +++ b/stack.yaml @@ -12,7 +12,8 @@ extra-deps: - skylighting-core-0.11 - skylighting-0.11 - doctemplates-0.10 -- texmath-0.12.3.1 +- git: https://github.com/jgm/texmath.git + commit: 19700530733707284bb41f24add757f19ca23430 - git: https://github.com/jgm/citeproc.git commit: b27201c3ac48ffd2853f77152df19b6e2cf36987 ghc-options: |