mirror of
https://github.com/jgm/pandoc.git
synced 2026-09-21 13:51:29 +08:00
Use pandoc-types 1.17.3
This commit is contained in:
+1
-1
@@ -13,7 +13,7 @@ flags:
|
||||
packages:
|
||||
- '.'
|
||||
extra-deps:
|
||||
- pandoc-types-1.17.2
|
||||
- pandoc-types-1.17.3
|
||||
- hslua-0.9.2
|
||||
- skylighting-0.4.3.2
|
||||
- texmath-0.10
|
||||
|
||||
+1
-1
@@ -7,7 +7,7 @@ flags:
|
||||
packages:
|
||||
- '.'
|
||||
extra-deps:
|
||||
- pandoc-types-1.17.2
|
||||
- pandoc-types-1.17.3
|
||||
- hslua-0.9.2
|
||||
- skylighting-0.4.3.2
|
||||
- texmath-0.10
|
||||
|
||||
Reference in New Issue
Block a user