Resolving dependencies... Starting th-abstraction-0.5.0.0 Downloading tree-view-0.5.1 Starting splitmix-0.1.0.4 Starting syb-0.7.2.2 Downloaded tree-view-0.5.1 Starting tree-view-0.5.1 Building th-abstraction-0.5.0.0 Building syb-0.7.2.2 Building splitmix-0.1.0.4 Building tree-view-0.5.1 Completed tree-view-0.5.1 Completed splitmix-0.1.0.4 Starting random-1.2.1.1 Building random-1.2.1.1 Completed syb-0.7.2.2 Completed th-abstraction-0.5.0.0 Starting th-expand-syns-0.4.11.0 Building th-expand-syns-0.4.11.0 Completed th-expand-syns-0.4.11.0 Completed random-1.2.1.1 Starting QuickCheck-2.14.2 Building QuickCheck-2.14.2 Completed QuickCheck-2.14.2 Downloading compdata-0.13.0 Downloaded compdata-0.13.0 Starting compdata-0.13.0 Building compdata-0.13.0 Completed compdata-0.13.0