From bcde758f4e5d540e6ea9ee627dfa37cfc6d61cf3 Mon Sep 17 00:00:00 2001 From: John Ericson Date: Wed, 24 Aug 2022 20:50:04 -0400 Subject: [PATCH] Pin repos with companion PRs in cabal.project --- cabal.project | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/cabal.project b/cabal.project index 543596442e3dc..9fda48eff2811 100644 --- a/cabal.project +++ b/cabal.project @@ -7,3 +7,13 @@ source-repository-package type: git location: https://github.com/jgm/citeproc tag: 7874a4ccf1845e5a8a6855c251f1aaea9bf12807 + +source-repository-package + type: git + location: https://github.com/obsidiansystems/pandoc-types + branch: functored-ast + +source-repository-package + type: git + location: https://github.com/obsidiansystems/pandoc-lua-marshal + branch: functored-ast