blob: 625543bf2ac19b6a284d44460f14e2cfb7846174 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
flags:
pandoc:
trypandoc: false
embed_data_files: true
QuickCheck:
old-random: false
packages:
- '.'
extra-deps:
- hslua-1.3.0
- hslua-module-path-0.1.0
- jira-wiki-markup-1.3.4
- skylighting-core-0.10.5.1
- skylighting-0.10.5.1
- doclayout-0.3.0.2
- random-1.2.0
- xml-conduit-1.9.1.1
- unicode-collation-0.1.3
- texmath-0.12.3
- citeproc-0.4
ghc-options:
"$locals": -fhide-source-paths -Wno-missing-home-modules
resolver: lts-17.5
nix:
packages: [zlib]
|
