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-03-02 19:17:26 +01:00
|
|
|
- pandoc-citeproc-0.14.1.5
|
2018-01-04 19:04:51 +01:00
|
|
|
- hslua-0.9.5
|
2018-03-06 19:57:49 +01:00
|
|
|
- skylighting-0.7.0.2
|
2018-03-07 12:40:59 +01:00
|
|
|
- skylighting-core-0.7.0.2
|
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-20 02:21:40 +01:00
|
|
|
- texmath-0.10.1.1
|
2018-02-28 05:00:14 +01:00
|
|
|
- tagsoup-0.14.6
|
2018-03-17 05:20:24 +01:00
|
|
|
- pandoc-types-1.17.4.2
|
2018-03-17 05:21:41 +01:00
|
|
|
- haddock-library-1.5.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
|