2015-08-13 18:21:54 +02:00
|
|
|
flags:
|
|
|
|
pandoc:
|
|
|
|
trypandoc: false
|
2017-12-28 05:21:37 +01:00
|
|
|
embed_data_files: true
|
2019-10-07 01:53:23 +02:00
|
|
|
static: false
|
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:
|
2020-03-28 23:22:48 +01:00
|
|
|
# - pandoc-types-1.20
|
|
|
|
# better-tables
|
2020-04-17 19:05:55 +02:00
|
|
|
- git: https://github.com/jgm/pandoc-types
|
2020-04-19 17:17:32 +02:00
|
|
|
commit: 4acb0e50f10d8f41f94c0973384d63f06d0b9ffd
|
|
|
|
- texmath-0.12.0.2
|
2020-02-18 01:52:46 +01:00
|
|
|
- haddock-library-1.8.0
|
|
|
|
- skylighting-0.8.3.2
|
|
|
|
- skylighting-core-0.8.3.2
|
|
|
|
- regex-pcre-builtin-0.95.0.8.8.35
|
2020-01-13 16:51:32 +01:00
|
|
|
- doclayout-0.3
|
2020-02-18 01:52:46 +01:00
|
|
|
- emojis-0.1
|
2020-03-25 22:16:27 +01:00
|
|
|
- hslua-1.1.0
|
2020-04-04 14:27:27 +02:00
|
|
|
- jira-wiki-markup-1.3.0
|
2020-02-18 01:52:46 +01:00
|
|
|
- HsYAML-0.2.0.0
|
|
|
|
- HsYAML-aeson-0.2.0.0
|
2020-04-13 07:25:31 +02:00
|
|
|
- doctemplates-0.8.2
|
2020-02-16 06:51:39 +01:00
|
|
|
- pandoc-citeproc-0.17
|
2018-01-16 05:59:21 +01:00
|
|
|
ghc-options:
|
2019-08-27 02:36:17 +02:00
|
|
|
"$locals": -fhide-source-paths -Wno-missing-home-modules
|
2020-02-18 01:52:46 +01:00
|
|
|
resolver: lts-14.6
|