Resolving dependencies...
Starting     safe-0.3.19
Building     safe-0.3.19
Completed    safe-0.3.19
Downloading  finite-semigroups-0.1.0.0
Downloaded   finite-semigroups-0.1.0.0
Starting     finite-semigroups-0.1.0.0
Building     finite-semigroups-0.1.0.0
Completed    finite-semigroups-0.1.0.0