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-18 17:52:30 +01:00
|
|
|
- pandoc-citeproc-0.13.0.1
|
2018-01-04 19:04:51 +01:00
|
|
|
- hslua-0.9.5
|
2018-01-18 17:52:30 +01:00
|
|
|
- skylighting-0.6
|
2018-01-18 19:05:41 +01:00
|
|
|
- ansi-terminal-0.7.1.1
|
2018-01-18 17:52:30 +01:00
|
|
|
- tasty-1.0.0.1
|
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
|