mirror of
https://github.com/jgm/pandoc.git
synced 2026-08-29 01:41:20 +08:00
Use dev version of citeproc.
This commit is contained in:
+4
-4
@@ -4,8 +4,8 @@ package pandoc
|
||||
flags: +embed_data_files -trypandoc
|
||||
ghc-options: -j +RTS -A64m -RTS
|
||||
|
||||
-- source-repository-package
|
||||
-- type: git
|
||||
-- location: https://github.com/jgm/citeproc
|
||||
-- tag: 0.1.1.1
|
||||
source-repository-package
|
||||
type: git
|
||||
location: https://github.com/jgm/citeproc
|
||||
tag: 42b1d154b02435229acbe98ae0f17d01b757ee93
|
||||
|
||||
|
||||
+4
-1
@@ -21,7 +21,10 @@ extra-deps:
|
||||
- commonmark-0.1.1.2
|
||||
- commonmark-extensions-0.2.0.4
|
||||
- commonmark-pandoc-0.2.0.1
|
||||
- citeproc-0.2
|
||||
#- citeproc-0.2
|
||||
- citeproc:
|
||||
git: https://github.com/jgm/citeproc.git
|
||||
commit: 42b1d154b02435229acbe98ae0f17d01b757ee93
|
||||
ghc-options:
|
||||
"$locals": -fhide-source-paths -Wno-missing-home-modules
|
||||
resolver: lts-14.6
|
||||
|
||||
Reference in New Issue
Block a user