blob: bf8e76239ccd44e0b4f2bc18afc6fe9a51ca531d (
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
|
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
- citeproc-0.3.0.9
- texmath-0.12.2
- random-1.2.0
- xml-conduit-1.9.1.1
ghc-options:
"$locals": -fhide-source-paths -Wno-missing-home-modules
resolver: lts-17.5
nix:
packages: [zlib]
|
