Use released pandoc-types 1.23.1.

This commit is contained in:
John MacFarlane
2023-08-06 11:32:07 -07:00
parent d3f8f50264
commit 9164f4b677
3 changed files with 3 additions and 8 deletions
-4
View File
@@ -7,7 +7,3 @@ flags: +embed_data_files
constraints: skylighting-format-blaze-html >= 0.1.1,
skylighting-format-context >= 0.1.0.2
source-repository-package
type: git
location: https://github.com/jgm/pandoc-types
tag: 6f2a868a83642d24a76f998e7b720a53a88868f5
+2 -2
View File
@@ -499,7 +499,7 @@ library
mtl >= 2.2 && < 2.4,
network >= 2.6 && < 3.2,
network-uri >= 2.6 && < 2.8,
pandoc-types >= 1.23 && < 1.24,
pandoc-types >= 1.23.1 && < 1.24,
parsec >= 3.1 && < 3.2,
pretty >= 1.1 && < 1.2,
pretty-show >= 1.10 && < 1.11,
@@ -758,7 +758,7 @@ test-suite test-pandoc
doctemplates >= 0.11 && < 0.12,
filepath >= 1.1 && < 1.5,
mtl >= 2.2 && < 2.4,
pandoc-types >= 1.23 && < 1.24,
pandoc-types >= 1.23.1 && < 1.24,
process >= 1.2.3 && < 1.7,
tasty >= 0.11 && < 1.5,
tasty-golden >= 2.3 && < 2.4,
+1 -2
View File
@@ -27,8 +27,7 @@ extra-deps:
- typst-0.3.1.0
- skylighting-core-0.13.4.1
- skylighting-0.13.4.1
- git: https://github.com/jgm/pandoc-types
commit: 6f2a868a83642d24a76f998e7b720a53a88868f5
- pandoc-types-1.23.1
ghc-options:
"$locals": -fhide-source-paths -Wno-missing-home-modules
resolver: lts-21.0