Resolving dependencies... Starting dlist-1.0 Starting validity-0.12.1.0 Starting splitmix-0.1.0.5 Building validity-0.12.1.0 Building dlist-1.0 Building splitmix-0.1.0.5 Completed splitmix-0.1.0.5 Starting random-1.2.1.2 Completed validity-0.12.1.0 Building random-1.2.1.2 Completed dlist-1.0 Downloading validity-dlist-0.1.0.1 Downloaded validity-dlist-0.1.0.1 Starting validity-dlist-0.1.0.1 Building validity-dlist-0.1.0.1 Completed validity-dlist-0.1.0.1 Completed random-1.2.1.2 Starting QuickCheck-2.15.0.1 Building QuickCheck-2.15.0.1 Completed QuickCheck-2.15.0.1 Starting genvalidity-1.1.1.0 Building genvalidity-1.1.1.0 Completed genvalidity-1.1.1.0 Downloading genvalidity-dlist-0.1.0.1 Downloaded genvalidity-dlist-0.1.0.1 Starting genvalidity-dlist-0.1.0.1 Building genvalidity-dlist-0.1.0.1 Completed genvalidity-dlist-0.1.0.1