Resolving dependencies...
Configuring peano-0.1.0.1...
Building peano-0.1.0.1...
Installed peano-0.1.0.1
Configuring natural-induction-0.2.0.0...
Building natural-induction-0.2.0.0...
Installed natural-induction-0.2.0.0
Downloading Fin-0.2.3.0...
Configuring Fin-0.2.3.0...
Building Fin-0.2.3.0...
Installed Fin-0.2.3.0