blob: 80d0707e70f871e1926898be12d50e5d706d7c5f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
flags:
pandoc:
trypandoc: false
embed_data_files: true
QuickCheck:
old-random: false
packages:
- '.'
extra-deps:
- commonmark-0.2.1
- skylighting-core-0.10.5.2
- skylighting-0.10.5.2
ghc-options:
"$locals": -fhide-source-paths -Wno-missing-home-modules
resolver: lts-18.0
nix:
packages: [zlib]
|