mirror of
https://github.com/jgm/pandoc.git
synced 2026-09-24 15:44:59 +08:00
Use dev jgm/pandoc-types.
This commit is contained in:
+2
-2
@@ -19,8 +19,8 @@ source-repository-package
|
||||
|
||||
source-repository-package
|
||||
type: git
|
||||
location: https://github.com/tarleb/pandoc-types
|
||||
tag: f84b7359765a2798f22efe4e9457538cda7a8d4a
|
||||
location: https://github.com/jgm/pandoc-types
|
||||
tag: 2f2ffd5b1821b6d5f7774b97d515b86398033012
|
||||
|
||||
source-repository-package
|
||||
type: git
|
||||
|
||||
+2
-2
@@ -28,8 +28,8 @@ extra-deps:
|
||||
commit: 1a77db688bd3285228299e5aeefc93d6c0d8c0b9
|
||||
- git: https://github.com/jgm/citeproc
|
||||
commit: 4099185c5a82ef1f84b711c113d2744eeb794106
|
||||
- git: https://github.com/tarleb/pandoc-types
|
||||
commit: f84b7359765a2798f22efe4e9457538cda7a8d4a
|
||||
- git: https://github.com/jgm/pandoc-types
|
||||
commit: 2f2ffd5b1821b6d5f7774b97d515b86398033012
|
||||
- git: https://github.com/pandoc/pandoc-lua-marshal
|
||||
commit: a2a97e2af78326ea7841101d4ef56e74426b66c4
|
||||
ghc-options:
|
||||
|
||||
Reference in New Issue
Block a user