Resolving dependencies...
Configuring primitive-0.6.2.0...
Configuring random-1.1...
Building random-1.1...
Building primitive-0.6.2.0...
Configuring validity-0.3.3.0...
Installed random-1.1
Building validity-0.3.3.0...
Installed validity-0.3.3.0
Configuring validity-time-0.0.0.1...
Building validity-time-0.0.0.1...
Installed primitive-0.6.2.0
Configuring tf-random-0.5...
Installed validity-time-0.0.0.1
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
Downloading genvalidity-0.3.2.0...
Configuring genvalidity-0.3.2.0...
Building genvalidity-0.3.2.0...
Installed genvalidity-0.3.2.0
Downloading genvalidity-time-0.0.0.1...
Configuring genvalidity-time-0.0.0.1...
Building genvalidity-time-0.0.0.1...
Installed genvalidity-time-0.0.0.1