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-08-13 12:37:10 +02:00
|
|
|
- hslua-0.7.0
|
2017-04-22 10:54:56 +02:00
|
|
|
- skylighting-0.3.3
|
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-08-09 21:48:00 +02:00
|
|
|
- haddock-library-1.4.3
|
2017-08-09 21:14:35 +02:00
|
|
|
resolver: lts-9.0
|