Resolving dependencies...
Starting     tagged-0.8.8
Building     tagged-0.8.8
Completed    tagged-0.8.8
Downloading  finite-typelits-0.2.1.0
Downloaded   finite-typelits-0.2.1.0
Starting     finite-typelits-0.2.1.0
Building     finite-typelits-0.2.1.0
Completed    finite-typelits-0.2.1.0