Resolving dependencies...
Configuring primitive-0.6.1.0...
Configuring random-1.1...
Downloading validity-0.3.0.4...
Building random-1.1...
Building primitive-0.6.1.0...
Configuring validity-0.3.0.4...
Installed random-1.1
Building validity-0.3.0.4...
Installed primitive-0.6.1.0
Configuring tf-random-0.5...
Building tf-random-0.5...
Installed validity-0.3.0.4
Installed tf-random-0.5
Configuring QuickCheck-2.8.2...
Building QuickCheck-2.8.2...
Installed QuickCheck-2.8.2
Downloading genvalidity-0.2.0.3...
Configuring genvalidity-0.2.0.3...
Building genvalidity-0.2.0.3...
Installed genvalidity-0.2.0.3