Resolving dependencies...
Configuring peano-0.1.0.1...
Configuring universe-base-1.0.2.1...
Building universe-base-1.0.2.1...
Building peano-0.1.0.1...
Installed universe-base-1.0.2.1
Configuring util-0.1.11.0...
Installed peano-0.1.0.1
Configuring natural-induction-0.2.0.0...
Building util-0.1.11.0...
Building natural-induction-0.2.0.0...
Installed natural-induction-0.2.0.0
Installed util-0.1.11.0
Configuring alg-0.2.7.0...
Configuring foldable1-0.1.0.0...
Building foldable1-0.1.0.0...
Building alg-0.2.7.0...
Installed foldable1-0.1.0.0
Installed alg-0.2.7.0
Downloading Fin-0.2.6.0...
Configuring Fin-0.2.6.0...
Building Fin-0.2.6.0...
Installed Fin-0.2.6.0