Resolving dependencies...
Downloading finite-typelits-0.1.3.0...
Configuring finite-typelits-0.1.3.0...
Building finite-typelits-0.1.3.0...
Installed finite-typelits-0.1.3.0