diff options
author | stuebinm | 2022-02-07 16:05:55 +0100 |
---|---|---|
committer | stuebinm | 2022-02-07 16:05:55 +0100 |
commit | f429cbc0d56dc8426285bc2d5ca7301ec241da98 (patch) | |
tree | 2505368b5c78d95cbfe0c22781be9a47974bc987 /package.yaml | |
parent | 2ce9a23fe7de72f4c8bf33a8c26f555cf08f8715 (diff) |
non-blocking server
Diffstat (limited to 'package.yaml')
-rw-r--r-- | package.yaml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/package.yaml b/package.yaml index 95ed5fb..84e1e96 100644 --- a/package.yaml +++ b/package.yaml @@ -5,7 +5,7 @@ homepage: https://stuebinm.eu/git/walint author: stuebinm maintainer: stuebinm@disroot.org copyright: 2022 stuebinm -ghc-options: -Wall -Wno-name-shadowing +ghc-options: -Wall -Wno-name-shadowing -Wno-unticked-promoted-constructors dependencies: - base @@ -70,3 +70,4 @@ executables: - directory - walint - uuid + - containers |