mirror of
https://github.com/jgm/pandoc.git
synced 2026-09-01 15:38:09 +08:00
Use citeproc 0.1.0.1.
This commit is contained in:
+1
-1
@@ -7,4 +7,4 @@ package pandoc
|
||||
source-repository-package
|
||||
type: git
|
||||
location: https://github.com/jgm/citeproc
|
||||
tag: ea3a2b3827df61595ec16408c904ecda96bbdc5f
|
||||
tag: 0.1.0.1
|
||||
|
||||
+1
-1
@@ -404,7 +404,7 @@ library
|
||||
blaze-markup >= 0.8 && < 0.9,
|
||||
bytestring >= 0.9 && < 0.12,
|
||||
case-insensitive >= 1.2 && < 1.3,
|
||||
citeproc >= 0.1 && < 0.2,
|
||||
citeproc >= 0.1.0.1 && < 0.2,
|
||||
commonmark >= 0.1.0.2 && < 0.2,
|
||||
commonmark-extensions >= 0.2 && < 0.3,
|
||||
commonmark-pandoc >= 0.2 && < 0.3,
|
||||
|
||||
+1
-2
@@ -22,8 +22,7 @@ extra-deps:
|
||||
- commonmark-0.1.0.2
|
||||
- commonmark-extensions-0.2.0.1
|
||||
- commonmark-pandoc-0.2.0.1
|
||||
- git: https://github.com/jgm/citeproc
|
||||
commit: ea3a2b3827df61595ec16408c904ecda96bbdc5f
|
||||
- citeproc-0.1.0.1
|
||||
|
||||
ghc-options:
|
||||
"$locals": -fhide-source-paths -Wno-missing-home-modules
|
||||
|
||||
Reference in New Issue
Block a user