mirror of
https://github.com/jgm/pandoc.git
synced 2026-08-26 10:16:32 +00:00
Use released pandoc-types.
This commit is contained in:
@@ -7,11 +7,6 @@ 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: 2b68c905e75c65e66eaa4635e4c1bd6aabd6302f
|
||||
|
||||
source-repository-package
|
||||
type: git
|
||||
location: https://github.com/jgm/typst-hs
|
||||
|
||||
+1
-2
@@ -24,10 +24,9 @@ extra-deps:
|
||||
- commonmark-0.2.3
|
||||
- typst-symbols-0.1.2
|
||||
- toml-parser-1.1.1.0
|
||||
- pandoc-types-1.23.0.1
|
||||
- git: https://github.com/jgm/typst-hs
|
||||
commit: 74cc25961afd03f9d6aeb8b8ef8e4631c94ca0e9
|
||||
- git: https://github.com/jgm/pandoc-types
|
||||
commit: 2b68c905e75c65e66eaa4635e4c1bd6aabd6302f
|
||||
|
||||
|
||||
ghc-options:
|
||||
|
||||
Reference in New Issue
Block a user