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-10-28 06:13:29 +02:00
|
|
|
- skylighting-core-0.12.1
|
|
|
|
- skylighting-0.12.1
|
2021-12-18 18:48:34 +01:00
|
|
|
- doctemplates-0.10.0.1
|
2021-10-10 22:39:10 +02:00
|
|
|
- emojis-0.1.2
|
2021-10-12 06:05:27 +02:00
|
|
|
- doclayout-0.3.1.1
|
2021-11-08 16:03:17 +01:00
|
|
|
- lpeg-1.0.1
|
2021-11-04 12:25:27 +01:00
|
|
|
- hslua-2.0.1
|
2022-01-01 17:02:07 +01:00
|
|
|
- hslua-aeson-2.0.1
|
2021-10-20 21:40:07 +02:00
|
|
|
- hslua-classes-2.0.0
|
2021-11-04 12:25:27 +01:00
|
|
|
- hslua-core-2.0.0.2
|
|
|
|
- hslua-marshalling-2.0.1
|
2021-10-20 21:40:07 +02:00
|
|
|
- hslua-module-path-1.0.0
|
|
|
|
- hslua-module-system-1.0.0
|
|
|
|
- hslua-module-text-1.0.0
|
|
|
|
- hslua-module-version-1.0.0
|
2021-11-04 12:25:27 +01:00
|
|
|
- hslua-objectorientation-2.0.1
|
2021-10-20 21:40:07 +02:00
|
|
|
- hslua-packaging-2.0.0
|
2021-11-28 02:08:01 +01:00
|
|
|
- lua-2.0.2
|
2021-10-20 21:40:07 +02:00
|
|
|
- tasty-hslua-1.0.0
|
|
|
|
- tasty-lua-1.0.0
|
2021-12-23 15:48:09 +01:00
|
|
|
- pandoc-lua-marshal-0.1.3
|
2021-10-22 23:33:30 +02:00
|
|
|
- pandoc-types-1.22.1
|
2021-10-24 01:17:49 +02:00
|
|
|
- aeson-pretty-0.8.9
|
2021-12-02 18:00:33 +01:00
|
|
|
- unicode-transforms-0.4.0
|
|
|
|
- unicode-data-0.2.0
|
2022-01-12 04:19:27 +01:00
|
|
|
- texmath-0.12.4
|
2022-01-12 08:52:57 +01:00
|
|
|
- commonmark-0.2.1.1
|
2022-01-12 18:58:45 +01:00
|
|
|
- commonmark-extensions-0.2.3
|
2022-01-12 08:52:57 +01:00
|
|
|
- commonmark-pandoc-0.2.1.1
|
|
|
|
- citeproc-0.6.0.1
|
2022-01-12 09:09:16 +01:00
|
|
|
- ipynb-0.2
|
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-09-17 04:28:38 +02:00
|
|
|
resolver: lts-18.10
|
2020-06-08 02:32:16 +02:00
|
|
|
nix:
|
|
|
|
packages: [zlib]
|
2022-01-09 21:09:01 +01:00
|
|
|
|
|
|
|
|