2015-08-13 09:21:54 -07:00
|
|
|
flags:
|
|
|
|
pandoc:
|
|
|
|
trypandoc: false
|
2017-12-27 20:21:37 -08:00
|
|
|
embed_data_files: true
|
2021-03-17 22:49:50 -07:00
|
|
|
QuickCheck:
|
|
|
|
old-random: false
|
2015-08-13 09:21:54 -07:00
|
|
|
packages:
|
2017-12-27 20:21:37 -08:00
|
|
|
- '.'
|
2017-12-28 21:14:15 -08: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 14:28:03 -07:00
|
|
|
- skylighting-core-0.10.5.1
|
|
|
|
- skylighting-0.10.5.1
|
2021-03-15 15:35:15 -07:00
|
|
|
- doclayout-0.3.0.2
|
2021-03-17 22:49:50 -07:00
|
|
|
- random-1.2.0
|
2021-04-15 14:30:33 -07:00
|
|
|
- xml-conduit-1.9.1.1
|
2021-04-25 21:56:54 -07:00
|
|
|
- unicode-collation-0.1.3
|
2021-05-12 12:52:04 -07:00
|
|
|
- texmath-0.12.3
|
2021-04-04 11:51:44 -07:00
|
|
|
# - citeproc-0.3.0.9
|
|
|
|
- git: https://github.com/jgm/citeproc
|
2021-04-25 21:56:54 -07:00
|
|
|
commit: f33b370bd1ab5ad5140720369c0586041e433a47
|
2018-01-15 20:59:21 -08:00
|
|
|
ghc-options:
|
2019-08-26 17:36:17 -07:00
|
|
|
"$locals": -fhide-source-paths -Wno-missing-home-modules
|
2021-03-04 09:00:23 -08:00
|
|
|
resolver: lts-17.5
|
2020-06-08 02:32:16 +02:00
|
|
|
nix:
|
|
|
|
packages: [zlib]
|