blob: a6957cdc9071ac229333e40bb20def669d0df22d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
flags:
pandoc:
trypandoc: false
embed_data_files: true
static: false
pandoc-citeproc:
bibutils: true
embed_data_files: true
unicode_collation: false
test_citeproc: false
debug: false
packages:
- '.'
extra-deps:
# to be replaced eventually by pandoc-types-1.21:
- git: https://github.com/jgm/pandoc-types
commit: dd50a6eaeaf63773bbf04d6ef34b86d6f92b7825
- git: https://github.com/jgm/pandoc-citeproc
commit: 2e6fe791ec5293acc925c2ccbe79c9c10d2b7e07
- doclayout-0.3
- hslua-1.1.0
- jira-wiki-markup-1.3.0
- doctemplates-0.8.2
ghc-options:
"$locals": -fhide-source-paths -Wno-missing-home-modules
resolver: lts-15.11
|
