Resolving dependencies...
Configuring peano-0.1.0.1...
Configuring util-0.1.10.1...
Building util-0.1.10.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 util-0.1.10.1
Configuring foldable1-0.1.0.0...
Building foldable1-0.1.0.0...
Installed natural-induction-0.2.0.0
Configuring alg-0.2.6.0...
Building alg-0.2.6.0...
Installed foldable1-0.1.0.0
Installed alg-0.2.6.0
Downloading Fin-0.2.4.0...
Configuring Fin-0.2.4.0...
Building Fin-0.2.4.0...
Installed Fin-0.2.4.0