Resolving dependencies...
Configuring erf-2.0.0.0...
Configuring primitive-0.6.4.0...
Building erf-2.0.0.0...
Building primitive-0.6.4.0...
Installed erf-2.0.0.0
Configuring random-1.1...
Building random-1.1...
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
Downloading QuickCheck-2.12.4...
Configuring QuickCheck-2.12.4...
Building QuickCheck-2.12.4...
Installed QuickCheck-2.12.4