From 7accbd585e3d4f843319ce220232d74485900a00 Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Fri, 17 Apr 2020 10:05:55 -0700 Subject: Use main pandoc-types repository... now that @despresc's changes have been merged. --- cabal.project | 4 ++-- stack.yaml | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/cabal.project b/cabal.project index b46532ca9..ec7de4ace 100644 --- a/cabal.project +++ b/cabal.project @@ -15,5 +15,5 @@ source-repository-package source-repository-package type: git - location: https://github.com/despresc/pandoc-types - tag: 09cb4314010365abc4512c2363b83711c92ac18b +- location: https://github.com/jgm/pandoc-types + tag: f76c1b7db0931c4fe357827033e75efe5ab4f6bf diff --git a/stack.yaml b/stack.yaml index 3d395f168..d6ae4eee7 100644 --- a/stack.yaml +++ b/stack.yaml @@ -14,8 +14,8 @@ packages: extra-deps: # - pandoc-types-1.20 # better-tables -- git: https://github.com/despresc/pandoc-types - commit: 09cb4314010365abc4512c2363b83711c92ac18b +- git: https://github.com/jgm/pandoc-types + commit: f76c1b7db0931c4fe357827033e75efe5ab4f6bf - texmath-0.12.0.1 - haddock-library-1.8.0 - skylighting-0.8.3.2 -- cgit v1.2.3