From 5d92cebfcefe3b42b9427f1f7087800c08f88c67 Mon Sep 17 00:00:00 2001 From: John Ericson Date: Wed, 24 Aug 2022 21:12:49 -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 12859550a159..63601007d60c 100644 --- a/cabal.project +++ b/cabal.project @@ -8,3 +8,13 @@ source-repository-package location: https://github.com/jgm/commonmark-hs tag: 4f4fbe277044de0724dd0828a45311ab1413e30b subdir: commonmark-extensions + +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