Use latest dev citeproc.
This commit is contained in:
parent
c66cedaa71
commit
84b5c55448
2 changed files with 2 additions and 2 deletions
|
@ -5,5 +5,5 @@ flags: +embed_data_files
|
|||
source-repository-package
|
||||
type: git
|
||||
location: https://github.com/jgm/citeproc.git
|
||||
tag: 59e98e8d1e13ddb53bef9f90adbd1c64652f0173
|
||||
tag: b27201c3ac48ffd2853f77152df19b6e2cf36987
|
||||
|
||||
|
|
|
@ -14,7 +14,7 @@ extra-deps:
|
|||
- doctemplates-0.10
|
||||
- texmath-0.12.3.1
|
||||
- git: https://github.com/jgm/citeproc.git
|
||||
commit: 59e98e8d1e13ddb53bef9f90adbd1c64652f0173
|
||||
commit: b27201c3ac48ffd2853f77152df19b6e2cf36987
|
||||
ghc-options:
|
||||
"$locals": -fhide-source-paths -Wno-missing-home-modules
|
||||
resolver: lts-18.0
|
||||
|
|
Loading…
Reference in a new issue