2015-08-13 18:21:54 +02:00
|
|
|
flags:
|
|
|
|
pandoc:
|
|
|
|
trypandoc: false
|
|
|
|
https: true
|
|
|
|
embed_data_files: false
|
|
|
|
old-locale: false
|
|
|
|
network-uri: true
|
|
|
|
packages:
|
|
|
|
- '.'
|
2017-02-20 00:31:57 +01:00
|
|
|
extra-deps:
|
2017-03-24 21:19:55 +01:00
|
|
|
- hslua-0.5.0
|
|
|
|
- hslua-aeson-0.1.0.3
|
2017-04-01 12:54:26 +02:00
|
|
|
- skylighting-0.3.2
|
2017-03-22 15:36:23 +01:00
|
|
|
- texmath-0.9.4
|
2017-03-07 16:47:38 +01:00
|
|
|
resolver: lts-8.4
|