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