Resolving dependencies...
Starting     groups-0.5.2
Starting     cabal-doctest-1.0.8
Building     groups-0.5.2
Building     cabal-doctest-1.0.8
Completed    groups-0.5.2
Completed    cabal-doctest-1.0.8
Downloading  group-theory-0.2.0.0
Downloaded   group-theory-0.2.0.0
Starting     group-theory-0.2.0.0
Building     group-theory-0.2.0.0
Completed    group-theory-0.2.0.0