Warning: The install command is a part of the legacy v1 style of cabal usage.

Please switch to using either the new project style and the new-install
command or the legacy v1-install alias as new-style projects will become the
default in the next version of cabal-install. Please file a bug if you cannot
replicate a working v1- use case with the new-style commands.

For more information, see: https://wiki.haskell.org/Cabal/NewBuild

Resolving dependencies...
Starting     peano-0.1.0.1
Starting     base-unicode-symbols-0.2.4.2
Starting     dual-0.1.1.1
Starting     universe-base-1.0.2.1
Building     base-unicode-symbols-0.2.4.2
Building     dual-0.1.1.1
Building     peano-0.1.0.1
Building     universe-base-1.0.2.1
Completed    universe-base-1.0.2.1
Starting     util-0.1.17.1
Completed    peano-0.1.0.1
Starting     natural-induction-0.2.0.0
Completed    dual-0.1.1.1
Building     util-0.1.17.1
Completed    base-unicode-symbols-0.2.4.2
Building     natural-induction-0.2.0.0
Completed    natural-induction-0.2.0.0
Completed    util-0.1.17.1
Starting     foldable1-0.1.0.0
Starting     alg-0.2.13.1
Building     alg-0.2.13.1
Building     foldable1-0.1.0.0
Completed    foldable1-0.1.0.0
Completed    alg-0.2.13.1
Starting     Fin-0.2.9.0
Building     Fin-0.2.9.0
Completed    Fin-0.2.9.0
Downloading  word-0.1.0.1
Downloaded   word-0.1.0.1
Starting     word-0.1.0.1
Building     word-0.1.0.1
Completed    word-0.1.0.1
Downloading  rv-0.0.1.0
Downloaded   rv-0.0.1.0
Starting     rv-0.0.1.0
Building     rv-0.0.1.0
Completed    rv-0.0.1.0