2015-08-13 18:21:54 +02:00
|
|
|
flags:
|
|
|
|
pandoc:
|
|
|
|
trypandoc: false
|
2017-12-28 05:21:37 +01:00
|
|
|
embed_data_files: true
|
2021-03-18 06:49:50 +01:00
|
|
|
QuickCheck:
|
|
|
|
old-random: false
|
2015-08-13 18:21:54 +02:00
|
|
|
packages:
|
2017-12-28 05:21:37 +01:00
|
|
|
- '.'
|
2017-12-29 06:14:15 +01:00
|
|
|
extra-deps:
|
2021-01-27 15:17:39 +01:00
|
|
|
- hslua-1.3.0
|
2021-02-02 19:14:19 +01:00
|
|
|
- hslua-module-path-0.1.0
|
2021-03-13 15:41:47 +01:00
|
|
|
- jira-wiki-markup-1.3.4
|
2021-03-22 22:28:03 +01:00
|
|
|
- skylighting-core-0.10.5.1
|
|
|
|
- skylighting-0.10.5.1
|
2021-03-15 23:35:15 +01:00
|
|
|
- doclayout-0.3.0.2
|
2021-03-13 20:27:05 +01:00
|
|
|
- citeproc-0.3.0.9
|
2021-03-15 23:36:57 +01:00
|
|
|
- texmath-0.12.2
|
2021-03-18 06:49:50 +01:00
|
|
|
- random-1.2.0
|
2018-01-16 05:59:21 +01:00
|
|
|
ghc-options:
|
2019-08-27 02:36:17 +02:00
|
|
|
"$locals": -fhide-source-paths -Wno-missing-home-modules
|
2021-03-04 18:00:23 +01:00
|
|
|
resolver: lts-17.5
|
2020-06-08 02:32:16 +02:00
|
|
|
nix:
|
|
|
|
packages: [zlib]
|