Resolving dependencies...
Downloading leancheck-0.7.0...
Configuring leancheck-0.7.0...
Building leancheck-0.7.0...
Installed leancheck-0.7.0