mirror of
https://github.com/jgm/pandoc.git
synced 2026-08-23 16:56:43 +00:00
32 lines
591 B
YAML
32 lines
591 B
YAML
flags:
|
|
pandoc:
|
|
embed_data_files: true
|
|
QuickCheck:
|
|
old-random: false
|
|
packages:
|
|
- '.'
|
|
- 'pandoc-cli'
|
|
- 'pandoc-lua-engine'
|
|
- 'pandoc-server'
|
|
extra-deps:
|
|
- gridtables-0.1.0.0
|
|
- hslua-cli-1.2.0
|
|
- hslua-list-1.1.0.1
|
|
- hslua-module-zip-1.0.0
|
|
- jira-wiki-markup-1.5.0
|
|
- mime-types-0.1.1.0
|
|
- doctemplates-0.11
|
|
- texmath-0.12.6
|
|
- citeproc-0.8.1
|
|
- pandoc-types-1.23
|
|
- pandoc-lua-marshal-0.2.0
|
|
- commonmark-pandoc-0.2.1.3
|
|
- skylighting-0.13.2.1
|
|
- skylighting-core-0.13.2.1
|
|
|
|
ghc-options:
|
|
"$locals": -fhide-source-paths -Wno-missing-home-modules
|
|
resolver: lts-20.6
|
|
nix:
|
|
packages: [zlib]
|