Resolving dependencies...
Configuring erf-2.0.0.0...
Configuring lazysmallcheck-0.6...
Building lazysmallcheck-0.6...
Building erf-2.0.0.0...
Installed erf-2.0.0.0
Configuring primitive-0.6.4.0...
Installed lazysmallcheck-0.6
Configuring random-1.1...
Building primitive-0.6.4.0...
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
Configuring QuickCheck-2.12.6.1...
Building QuickCheck-2.12.6.1...
Installed QuickCheck-2.12.6.1
Configuring Stream-0.4.7.2...
Building Stream-0.4.7.2...
Installed Stream-0.4.7.2
Downloading IOSpec-0.3.1...
Configuring IOSpec-0.3.1...
Building IOSpec-0.3.1...
Installed IOSpec-0.3.1