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-02-01 11:56:43 -08:00
|
|
|
- pandoc-citeproc-0.14.1.2
|
2018-01-04 19:04:51 +01:00
|
|
|
- hslua-0.9.5
|
2018-01-18 08:52:30 -08:00
|
|
|
- skylighting-0.6
|
2018-01-18 10:05:41 -08:00
|
|
|
- ansi-terminal-0.7.1.1
|
2018-01-18 08:52:30 -08:00
|
|
|
- tasty-1.0.0.1
|
2018-01-19 17:21:40 -08:00
|
|
|
- texmath-0.10.1.1
|
2018-02-27 15:02:59 +03:00
|
|
|
- tagsoup-0.14.5
|
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
|