Resolving dependencies... Configuring primitive-0.6.2.0... Configuring random-1.1... Building primitive-0.6.2.0... Building random-1.1... Configuring validity-0.3.1.1... Installed random-1.1 Building validity-0.3.1.1... Installed validity-0.3.1.1 Installed primitive-0.6.2.0 Configuring tf-random-0.5... Building tf-random-0.5... Installed tf-random-0.5 Configuring QuickCheck-2.9.2... Building QuickCheck-2.9.2... Installed QuickCheck-2.9.2 Configuring genvalidity-0.3.0.0... Building genvalidity-0.3.0.0... Installed genvalidity-0.3.0.0