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
Configuring Fin-0.2.3.0...
Building Fin-0.2.3.0...
Installed Fin-0.2.3.0
Downloading word-0.1.0.1...
Configuring word-0.1.0.1...
Building word-0.1.0.1...
Installed word-0.1.0.1