diff options
author | stuebinm | 2022-02-16 17:59:19 +0100 |
---|---|---|
committer | stuebinm | 2022-02-16 18:01:33 +0100 |
commit | 3b144c97636620a6fbd3807a8847b5751f86a52d (patch) | |
tree | 2071c617a44cbcfc0178ad58e8200dc7248e137b /package.yaml | |
parent | c1988345690b9da7a82020ff72542860fcb1d68a (diff) |
server: remove cli-git, cli-extras
both these packages are hard to use, seem to be either unfinished or
abandoned, and also generally not very good.
Also for some reason they depend on `lens`. Removing them dramatically
shrunk the dependency closure!
Diffstat (limited to 'package.yaml')
-rw-r--r-- | package.yaml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/package.yaml b/package.yaml index 64bf70b..3bcac30 100644 --- a/package.yaml +++ b/package.yaml @@ -71,8 +71,7 @@ executables: - lucid - servant-lucid - http-types - - cli-git - - cli-extras + - process - extra - microlens-platform - fmt |