2015-08-13 18:21:54 +02:00
|
|
|
flags:
|
|
|
|
pandoc:
|
|
|
|
trypandoc: false
|
|
|
|
embed_data_files: false
|
|
|
|
old-locale: false
|
|
|
|
network-uri: true
|
|
|
|
packages:
|
|
|
|
- '.'
|
2017-02-20 00:31:57 +01:00
|
|
|
extra-deps:
|
2017-11-11 22:37:10 +01:00
|
|
|
- pandoc-types-1.17.3
|
2017-10-23 00:04:49 +02:00
|
|
|
- hslua-0.9.2
|
2017-11-18 22:24:06 +01:00
|
|
|
- hslua-module-text-0.1.2
|
2017-11-28 08:29:19 +01:00
|
|
|
- skylighting-0.4.4.1
|
2017-11-04 07:26:37 +01:00
|
|
|
- texmath-0.10
|
2017-08-03 19:50:05 +02:00
|
|
|
- cmark-gfm-0.1.1
|
2017-08-09 21:14:35 +02:00
|
|
|
- QuickCheck-2.10.0.1
|
|
|
|
- tasty-quickcheck-0.9.1
|
2017-10-21 07:42:16 +02:00
|
|
|
- doctemplates-0.2.1
|
2017-08-09 21:48:00 +02:00
|
|
|
- haddock-library-1.4.3
|
2017-12-01 00:56:44 +01:00
|
|
|
- tagsoup-0.14.2
|
|
|
|
resolver: lts-9.14
|