blob: 145b53134dd591fad143bfeabaa7eef5b0bfcd2c (
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
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
flags:
pandoc:
trypandoc: false
embed_data_files: true
QuickCheck:
old-random: false
packages:
- '.'
extra-deps:
- skylighting-core-0.12
- skylighting-0.12
- doctemplates-0.10
- emojis-0.1.2
- doclayout-0.3.1.1
- hslua-2.0.0
- hslua-classes-2.0.0
- hslua-core-2.0.0
- hslua-marshalling-2.0.0
- hslua-module-path-1.0.0
- hslua-module-system-1.0.0
- hslua-module-text-1.0.0
- hslua-module-version-1.0.0
- hslua-objectorientation-2.0.0
- hslua-packaging-2.0.0
- lua-2.0.0
- tasty-hslua-1.0.0
- tasty-lua-1.0.0
- pandoc-types-1.22.1
- texmath-0.12.3.2
- commonmark-0.2.1.1
- commonmark-extensions-0.2.2
- citeproc-0.6
- aeson-pretty-0.8.9
- ipynb-0.1.0.2
ghc-options:
"$locals": -fhide-source-paths -Wno-missing-home-modules
resolver: lts-18.10
nix:
packages: [zlib]
|
