aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn MacFarlane <[email protected]>2022-04-02 11:21:36 -0700
committerJohn MacFarlane <[email protected]>2022-04-02 11:21:36 -0700
commitdec0455725aea8094ef270ec7562aea021f65458 (patch)
tree2d3be9dee825209e68338613ddb67cd55cf3735a
parentf406f93daba6c7113f6663216a7144feecee3f39 (diff)
Use released version of texmath.
-rw-r--r--cabal.project5
-rw-r--r--stack.yaml3
2 files changed, 1 insertions, 7 deletions
diff --git a/cabal.project b/cabal.project
index 75d0275d5..22b8ff5a8 100644
--- a/cabal.project
+++ b/cabal.project
@@ -11,11 +11,6 @@ source-repository-package
source-repository-package
type: git
- location: https://github.com/jgm/texmath.git
- tag: 506e9433db94246371c1b66f95cf1e3ccab24232
-
-source-repository-package
- type: git
location: https://github.com/jgm/citeproc.git
tag: 363a810024b93aa9230eee4fe27b557b39176bcb
diff --git a/stack.yaml b/stack.yaml
index f73cebefd..fa4184f64 100644
--- a/stack.yaml
+++ b/stack.yaml
@@ -35,6 +35,7 @@ extra-deps:
- commonmark-pandoc-0.2.1.2
- ipynb-0.2
- pandoc-types-1.22.2
+- texmath-0.12.5
- git: https://github.com/jgm/citeproc.git
commit: 363a810024b93aa9230eee4fe27b557b39176bcb
- git: https://github.com/jgm/doclayout.git
@@ -42,8 +43,6 @@ extra-deps:
- git: https://github.com/jgm/commonmark-hs.git
commit: cc815e013f0d87eef3daef8ad9e376ad807b012b
subdirs: [commonmark, commonmark-extensions]
-- git: https://github.com/jgm/texmath.git
- commit: 506e9433db94246371c1b66f95cf1e3ccab24232
ghc-options:
"$locals": -fhide-source-paths -Wno-missing-home-modules
resolver: lts-18.10