mirror of
https://github.com/jgm/pandoc.git
synced 2026-08-24 01:06:30 +00:00
Use latest commonmark-extensions.
This commit is contained in:
+7
-1
@@ -11,7 +11,13 @@ source-repository-package
|
||||
type: git
|
||||
location: https://github.com/jgm/commonmark-hs
|
||||
subdir: commonmark-pandoc
|
||||
tag: d681657a8b1ff9c7d0120356fbce079d325eada4
|
||||
tag: f0b96532e36f31f47cc34602ecac694ffde8a27a
|
||||
|
||||
source-repository-package
|
||||
type: git
|
||||
location: https://github.com/jgm/commonmark-hs
|
||||
subdir: commonmark-extensions
|
||||
tag: f0b96532e36f31f47cc34602ecac694ffde8a27a
|
||||
|
||||
source-repository-package
|
||||
type: git
|
||||
|
||||
+2
-2
@@ -31,8 +31,8 @@ extra-deps:
|
||||
- git: https://github.com/jgm/typst-hs
|
||||
commit: abfe46fd48ae3610c6522c3dbb1d84a2b2fafb74
|
||||
- git: https://github.com/jgm/commonmark-hs
|
||||
subdirs: [commonmark-pandoc]
|
||||
commit: d681657a8b1ff9c7d0120356fbce079d325eada4
|
||||
subdirs: [commonmark-pandoc, commonmark-extensions]
|
||||
commit: f0b96532e36f31f47cc34602ecac694ffde8a27a
|
||||
|
||||
ghc-options:
|
||||
"$locals": -fhide-source-paths -Wno-missing-home-modules
|
||||
|
||||
Reference in New Issue
Block a user