2015-08-13 09:21:54 -07:00
|
|
|
flags:
|
|
|
|
pandoc:
|
|
|
|
trypandoc: false
|
2017-12-27 20:21:37 -08:00
|
|
|
embed_data_files: true
|
2015-08-13 09:21:54 -07:00
|
|
|
old-locale: false
|
|
|
|
network-uri: true
|
2017-12-27 20:21:37 -08:00
|
|
|
pandoc-citeproc:
|
|
|
|
bibutils: true
|
|
|
|
embed_data_files: true
|
|
|
|
unicode_collation: false
|
|
|
|
test_citeproc: false
|
|
|
|
debug: false
|
2015-08-13 09:21:54 -07:00
|
|
|
packages:
|
2017-12-27 20:21:37 -08:00
|
|
|
- '.'
|
2017-12-28 21:14:15 -08:00
|
|
|
extra-deps:
|
2018-01-18 08:52:30 -08:00
|
|
|
- pandoc-citeproc-0.13.0.1
|
2018-01-04 19:04:51 +01:00
|
|
|
- hslua-0.9.5
|
2018-01-18 08:52:30 -08:00
|
|
|
- skylighting-0.6
|
|
|
|
- tasty-1.0.0.1
|
2018-01-15 20:59:21 -08:00
|
|
|
ghc-options:
|
|
|
|
"$locals": -fhide-source-paths
|
2018-01-08 17:08:46 -08:00
|
|
|
resolver: lts-10.3
|