Resolving dependencies...
Starting     groups-0.5.2
Building     groups-0.5.2
Completed    groups-0.5.2
Downloading  group-theory-0.2.1.0
Downloaded   group-theory-0.2.1.0
Starting     group-theory-0.2.1.0
Building     group-theory-0.2.1.0
Completed    group-theory-0.2.1.0