aboutsummaryrefslogtreecommitdiff
path: root/cabal.project
diff options
context:
space:
mode:
Diffstat (limited to 'cabal.project')
-rw-r--r--cabal.project5
1 files changed, 5 insertions, 0 deletions
diff --git a/cabal.project b/cabal.project
index 7ce2b2d68..52c85d222 100644
--- a/cabal.project
+++ b/cabal.project
@@ -12,3 +12,8 @@ source-repository-package
type: git
location: https://github.com/jgm/pandoc-citeproc
tag: 0.17.0.2
+
+source-repository-package
+ type: git
+ location: https://github.com/jgm/pandoc-types
+ tag: 8e9ca37802120f32ececac752d73463e2fc86811