aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--cabal.project4
-rw-r--r--stack.yaml2
2 files changed, 6 insertions, 0 deletions
diff --git a/cabal.project b/cabal.project
index 724c4da44..ba7f4f4cb 100644
--- a/cabal.project
+++ b/cabal.project
@@ -7,3 +7,7 @@ source-repository-package
location: https://github.com/jgm/doctemplates
tag: 428c26d5303cf7a2b1051fe1ffd9aafe9ba71c81
+source-repository-package
+ type: git
+ location: https://github.com/jgm/citeproc
+ tag: d201ddc812b1550d70c3e448eec6d9c3af72d96b
diff --git a/stack.yaml b/stack.yaml
index cde22f68c..f67da4ec7 100644
--- a/stack.yaml
+++ b/stack.yaml
@@ -13,6 +13,8 @@ extra-deps:
- skylighting-0.10.5.2
- git: https://github.com/jgm/doctemplates
commit: 428c26d5303cf7a2b1051fe1ffd9aafe9ba71c81
+- git: https://github.com/jgm/citeproc
+ commit: d201ddc812b1550d70c3e448eec6d9c3af72d96b
ghc-options:
"$locals": -fhide-source-paths -Wno-missing-home-modules
resolver: lts-18.0