diff options
Diffstat (limited to 'stack.yaml')
-rw-r--r-- | stack.yaml | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/stack.yaml b/stack.yaml deleted file mode 100644 index 48a608db3..000000000 --- a/stack.yaml +++ /dev/null @@ -1,22 +0,0 @@ -flags: - pandoc: - trypandoc: false - embed_data_files: true - QuickCheck: - old-random: false -packages: -- '.' -extra-deps: -- commonmark-0.2.1 -- commonmark-pandoc-0.2.1.1 -- skylighting-core-0.10.5.2 -- skylighting-0.10.5.2 -- git: https://github.com/jgm/doctemplates - commit: 428c26d5303cf7a2b1051fe1ffd9aafe9ba71c81 -- git: https://github.com/jgm/citeproc - commit: 4ce0501cd6f9c86eee087afcf878c256e49b9615 -ghc-options: - "$locals": -fhide-source-paths -Wno-missing-home-modules -resolver: lts-18.0 -nix: - packages: [zlib] |