diff options
Diffstat (limited to 'cabal.project')
| -rw-r--r-- | cabal.project | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/cabal.project b/cabal.project index 02610d598..d780a5d48 100644 --- a/cabal.project +++ b/cabal.project @@ -13,3 +13,7 @@ source-repository-package location: https://github.com/jgm/pandoc-citeproc tag: 0.16.3.1 +source-repository-package + type: git + location: git: https://github.com/jgm/pandoc-types + tag: 00f7bb79e79d7cfd3523880dbc64ba3ea46c3da2 |