Resolving dependencies...
Downloading  leancheck-0.9.12
Downloaded   leancheck-0.9.12
Starting     leancheck-0.9.12
Building     leancheck-0.9.12
Completed    leancheck-0.9.12