Use custom pandoc-types repo with new table types
commit75d7e695326404c9d322f67cbaf21ff8ef23ffbf
authorAlbert Krewinkel <albert@zeitkraut.de>
dateMon 13 Apr 2020, 11:20 (7 years ago)
parentf1bd06e
cabal.project+4
@@ -13,3 +13,7 @@ source-repository-package
1313 location: https://github.com/jgm/pandoc-citeproc
1414 tag: 0.17
1515
16+source-repository-package
17+ type: git
18+ location: https://github.com/despresc/pandoc-types
19+ tag: 09cb4314010365abc4512c2363b83711c92ac18b
stack.yaml+1−1
@@ -14,7 +14,7 @@ packages:
1414extra-deps:
1515# - pandoc-types-1.20
1616# better-tables
17−- git: git@github.com:despresc/pandoc-types
17+- git: https://github.com/despresc/pandoc-types
1818 commit: 09cb4314010365abc4512c2363b83711c92ac18b
1919- texmath-0.12.0.1
2020- haddock-library-1.8.0