2015-08-13 18:21:54 +02:00
|
|
|
flags:
|
|
|
|
pandoc:
|
|
|
|
trypandoc: false
|
2017-12-28 05:21:37 +01:00
|
|
|
embed_data_files: true
|
2015-08-13 18:21:54 +02:00
|
|
|
old-locale: false
|
|
|
|
network-uri: true
|
2017-12-28 05:21:37 +01:00
|
|
|
pandoc-citeproc:
|
|
|
|
bibutils: true
|
|
|
|
embed_data_files: true
|
|
|
|
unicode_collation: false
|
|
|
|
test_citeproc: false
|
|
|
|
debug: false
|
2015-08-13 18:21:54 +02:00
|
|
|
packages:
|
2017-12-28 05:21:37 +01:00
|
|
|
- '.'
|
2017-12-29 06:14:15 +01:00
|
|
|
extra-deps:
|
2018-01-03 18:48:37 +01:00
|
|
|
- pandoc-citeproc-0.12.2.5
|
2018-01-04 19:04:51 +01:00
|
|
|
- hslua-0.9.5
|
2018-01-08 03:41:01 +01:00
|
|
|
- skylighting-0.5.1
|
2018-01-09 02:08:46 +01:00
|
|
|
- tasty-1.0
|
2018-01-16 05:59:21 +01:00
|
|
|
ghc-options:
|
|
|
|
"$locals": -fhide-source-paths
|
2018-01-09 02:08:46 +01:00
|
|
|
resolver: lts-10.3
|