aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--cabal.project6
-rw-r--r--stack.yaml2
2 files changed, 8 insertions, 0 deletions
diff --git a/cabal.project b/cabal.project
index 4b85b4978..5c753f71b 100644
--- a/cabal.project
+++ b/cabal.project
@@ -16,6 +16,12 @@ source-repository-package
location: https://github.com/jgm/citeproc.git
tag: b32c4c117795d8fef3fcc8996a62ee661904738e
+
+source-repository-package
+ type: git
+ location: https://github.com/jgm/pandoc-types.git
+ tag: aab4360e78ba27147a5b48ed3c8fcc8e96c71396
+
source-repository-package
type: git
location: https://github.com/jgm/texmath.git
diff --git a/stack.yaml b/stack.yaml
index 6487afcb0..14a84550a 100644
--- a/stack.yaml
+++ b/stack.yaml
@@ -25,6 +25,8 @@ extra-deps:
commit: b32c4c117795d8fef3fcc8996a62ee661904738e
- git: https://github.com/jgm/texmath.git
commit: 77e20978ffcdec4ca50bbb809f061850c0998560
+- git: https://github.com/jgm/pandoc-types.git
+ commit: aab4360e78ba27147a5b48ed3c8fcc8e96c71396
ghc-options:
"$locals": -fhide-source-paths -Wno-missing-home-modules
resolver: lts-23.22