diff options
author | stuebinm | 2022-02-07 16:05:55 +0100 |
---|---|---|
committer | stuebinm | 2022-03-19 19:26:16 +0100 |
commit | 24e5ccd98aa33250327d36e3859c461699026859 (patch) | |
tree | 14f28273160c48c47d577ea2da1341457f256da0 /package.yaml | |
parent | 9e3783d04284f25571a744755a82afbd7e2c6534 (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 |