Resolving dependencies...
Downloading  finite-typelits-0.1.6.0
Downloaded   finite-typelits-0.1.6.0
Starting     finite-typelits-0.1.6.0
Building     finite-typelits-0.1.6.0
Completed    finite-typelits-0.1.6.0