mirror of
https://github.com/jgm/pandoc.git
synced 2026-08-30 12:15:56 +00:00
24 lines
407 B
YAML
24 lines
407 B
YAML
flags:
|
|
pandoc:
|
|
embed_data_files: true
|
|
QuickCheck:
|
|
old-random: false
|
|
packages:
|
|
- '.'
|
|
- 'pandoc-cli'
|
|
- 'pandoc-lua-engine'
|
|
- 'pandoc-server'
|
|
extra-deps:
|
|
- hslua-cli-1.4.1
|
|
- hslua-module-zip-1.1.0
|
|
- hslua-typing-0.1.0
|
|
- skylighting-0.13.3
|
|
- skylighting-core-0.13.3
|
|
- typst-0.1.0.0
|
|
|
|
ghc-options:
|
|
"$locals": -fhide-source-paths -Wno-missing-home-modules
|
|
resolver: lts-21.0
|
|
nix:
|
|
packages: [zlib]
|