Resolving dependencies... Configuring ansi-terminal-0.6.2.3... Configuring call-stack-0.1.0... Building call-stack-0.1.0... Building ansi-terminal-0.6.2.3... Installed call-stack-0.1.0 Configuring hspec-discover-2.4.2... Building hspec-discover-2.4.2... Configuring random-1.1... Installed ansi-terminal-0.6.2.3 Building random-1.1... Configuring setenv-0.1.1.3... Installed hspec-discover-2.4.2 Building setenv-0.1.1.3... Configuring primitive-0.6.2.0... Installed setenv-0.1.1.3 Configuring validity-0.3.3.0... Installed random-1.1 Building primitive-0.6.2.0... Building validity-0.3.3.0... Configuring stm-2.4.4.1... Installed validity-0.3.3.0 Building stm-2.4.4.1... Configuring HUnit-1.6.0.0... Installed stm-2.4.4.1 Building HUnit-1.6.0.0... Installed primitive-0.6.2.0 Configuring async-2.1.1... Building async-2.1.1... Installed HUnit-1.6.0.0 Configuring tf-random-0.5... Building tf-random-0.5... Configuring hspec-expectations-0.8.2... Installed async-2.1.1 Building hspec-expectations-0.8.2... Installed hspec-expectations-0.8.2 Installed tf-random-0.5 Configuring QuickCheck-2.9.2... Building QuickCheck-2.9.2... Installed QuickCheck-2.9.2 Configuring genvalidity-0.3.2.0... Configuring quickcheck-io-0.1.4... Building quickcheck-io-0.1.4... Building genvalidity-0.3.2.0... Installed quickcheck-io-0.1.4 Configuring hspec-core-2.4.2... Building hspec-core-2.4.2... Installed genvalidity-0.3.2.0 Installed hspec-core-2.4.2 Configuring hspec-2.4.2... Building hspec-2.4.2... Installed hspec-2.4.2 Configuring genvalidity-property-0.0.0.0... Building genvalidity-property-0.0.0.0... Installed genvalidity-property-0.0.0.0 Configuring genvalidity-hspec-0.4.0.0... Building genvalidity-hspec-0.4.0.0... Installed genvalidity-hspec-0.4.0.0 Downloading genvalidity-hspec-binary-0.0.0.0... Configuring genvalidity-hspec-binary-0.0.0.0... Building genvalidity-hspec-binary-0.0.0.0... Installed genvalidity-hspec-binary-0.0.0.0