Resolving dependencies...
Configuring primitive-0.6.4.0...
Configuring erf-2.0.0.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
Configuring syb-0.7...
Building syb-0.7...
Installed syb-0.7
Installed primitive-0.6.4.0
Configuring tf-random-0.5...
Building tf-random-0.5...
Installed tf-random-0.5
Configuring QuickCheck-2.12.4...
Building QuickCheck-2.12.4...
Installed QuickCheck-2.12.4
Downloading ChasingBottoms-1.3.1.5...
Configuring ChasingBottoms-1.3.1.5...
Building ChasingBottoms-1.3.1.5...
Installed ChasingBottoms-1.3.1.5