mirror of
https://github.com/jgm/pandoc.git
synced 2026-07-24 02:01:45 +00:00
This solves the problem of unwanted capitalization of names at the beginning of citations in footnotes. Closes #10983.
25 lines
671 B
Plaintext
25 lines
671 B
Plaintext
packages: .
|
|
pandoc-lua-engine
|
|
pandoc-server
|
|
pandoc-cli
|
|
tests: True
|
|
flags: +embed_data_files
|
|
constraints: skylighting-format-blaze-html >= 0.1.1.3,
|
|
skylighting-format-context >= 0.1.0.2,
|
|
-- for now (commercialhaskell/stackage#7545):
|
|
data-default-class <= 0.2, data-default <= 0.8
|
|
|
|
|
|
|
|
source-repository-package
|
|
type: git
|
|
location: https://github.com/jgm/citeproc.git
|
|
tag: b32c4c117795d8fef3fcc8996a62ee661904738e
|
|
|
|
source-repository-package
|
|
type: git
|
|
location: https://github.com/jgm/texmath.git
|
|
tag: 77e20978ffcdec4ca50bbb809f061850c0998560
|
|
|
|
-- TODO: release new skylighting-core, skylighting
|