mirror of
https://github.com/jgm/pandoc.git
synced 2026-08-30 17:59:17 +08:00
Use dev commonmark-extensions.
This commit is contained in:
@@ -18,6 +18,12 @@ source-repository-package
|
||||
location: https://github.com/jgm/djoths.git
|
||||
tag: 7cabb69eef81d80688beb4fce6b604ad1ccc5941
|
||||
|
||||
source-repository-package
|
||||
type: git
|
||||
location: https://github.com/jgm/commonmark-hs.git
|
||||
tag: 73903fa7723ca2b1a1120063451e9647d1382754
|
||||
subdir: commonmark-extensions
|
||||
|
||||
package pandoc
|
||||
flags: +embed_data_files +http
|
||||
|
||||
|
||||
+3
-1
@@ -26,7 +26,6 @@ extra-deps:
|
||||
- doclayout-0.5.0.3
|
||||
- commonmark-0.3
|
||||
- commonmark-pandoc-0.3
|
||||
- commonmark-extensions-0.2.7
|
||||
- citeproc-0.13.0.1
|
||||
- pandoc-types-1.23.1.2
|
||||
- typst-symbols-0.2
|
||||
@@ -36,6 +35,9 @@ extra-deps:
|
||||
commit: 170899673ee31de9096e178605e8da31a36e4185
|
||||
- git: https://github.com/jgm/djoths.git
|
||||
commit: 7cabb69eef81d80688beb4fce6b604ad1ccc5941
|
||||
- git: https://github.com/jgm/commonmark-hs
|
||||
commit: 73903fa7723ca2b1a1120063451e9647d1382754
|
||||
subdirs: [commonmark-extensions]
|
||||
|
||||
ghc-options:
|
||||
"$locals": -fhide-source-paths -Wno-missing-home-modules
|
||||
|
||||
Reference in New Issue
Block a user