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