Resolving dependencies...
Starting     tagged-0.8.6.1
Starting     some-1.0.2
Starting     th-abstraction-0.4.2.0
Building     tagged-0.8.6.1
Building     some-1.0.2
Building     th-abstraction-0.4.2.0
Completed    some-1.0.2
Completed    tagged-0.8.6.1
Starting     universe-base-1.1.2
Building     universe-base-1.1.2
Completed    th-abstraction-0.4.2.0
Completed    universe-base-1.1.2
Starting     universe-some-1.2.1
Building     universe-some-1.2.1
Completed    universe-some-1.2.1
Downloading  universe-dependent-sum-1.3
Downloaded   universe-dependent-sum-1.3
Starting     universe-dependent-sum-1.3
Building     universe-dependent-sum-1.3
Completed    universe-dependent-sum-1.3