diff options
Diffstat (limited to 'stack.yaml')
-rw-r--r-- | stack.yaml | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/stack.yaml b/stack.yaml deleted file mode 100644 index 201d61ae0..000000000 --- a/stack.yaml +++ /dev/null @@ -1,33 +0,0 @@ -flags: - pandoc: - trypandoc: false - embed_data_files: true -packages: -- '.' -extra-deps: -- pandoc-types-1.22 -- texmath-0.12.0.3 -- rfc5051-0.2 -- haddock-library-1.9.0 -- skylighting-0.10.1 -- skylighting-core-0.10.1 -- doclayout-0.3 -- emojis-0.1 -- hslua-1.1.2 -- jira-wiki-markup-1.3.2 -- HsYAML-0.2.1.0 -- HsYAML-aeson-0.2.0.0 -- doctemplates-0.8.2 -- commonmark-0.1.1.2 -- commonmark-extensions-0.2.0.4 -- commonmark-pandoc-0.2.0.1 -#- citeproc-0.2 -- citeproc: - git: https://github.com/jgm/citeproc.git - commit: 42b1d154b02435229acbe98ae0f17d01b757ee93 -ghc-options: - "$locals": -fhide-source-paths -Wno-missing-home-modules -resolver: lts-14.6 -nix: - packages: [zlib] - |