Use main pandoc-types repository...
now that @despresc's changes have been merged.
commit7accbd585e3d4f843319ce220232d74485900a00
authorJohn MacFarlane <jgm@berkeley.edu>
dateFri 17 Apr 2020, 10:05 (6 years ago)
parent906305d
cabal.project+2−2
@@ -15,5 +15,5 @@ source-repository-package
1515
1616source-repository-package
1717 type: git
18− location: https://github.com/despresc/pandoc-types
19− tag: 09cb4314010365abc4512c2363b83711c92ac18b
18+- location: https://github.com/jgm/pandoc-types
19+ tag: f76c1b7db0931c4fe357827033e75efe5ab4f6bf
stack.yaml+2−2
@@ -14,8 +14,8 @@ packages:
1414extra-deps:
1515# - pandoc-types-1.20
1616# better-tables
17−- git: https://github.com/despresc/pandoc-types
18− commit: 09cb4314010365abc4512c2363b83711c92ac18b
17+- git: https://github.com/jgm/pandoc-types
18+ commit: f76c1b7db0931c4fe357827033e75efe5ab4f6bf
1919- texmath-0.12.0.1
2020- haddock-library-1.8.0
2121- skylighting-0.8.3.2