Resolving dependencies...
Configuring random-1.1...
Configuring primitive-0.6.4.0...
Building random-1.1...
Building primitive-0.6.4.0...
Installed random-1.1
Installed primitive-0.6.4.0
Configuring tf-random-0.5...
Building tf-random-0.5...
Installed tf-random-0.5
Configuring QuickCheck-2.11.3...
Building QuickCheck-2.11.3...
Installed QuickCheck-2.11.3
Downloading microspec-0.2.0.0...
Configuring microspec-0.2.0.0...
Building microspec-0.2.0.0...
Installed microspec-0.2.0.0