Resolving dependencies...
Configuring FloatingHex-0.4...
Configuring GraphSCC-1.0.4...
Building FloatingHex-0.4...
Building GraphSCC-1.0.4...
Installed GraphSCC-1.0.4
Configuring base-compat-0.9.3...
Installed FloatingHex-0.4
Configuring base-orphans-0.8...
Building base-compat-0.9.3...
Building base-orphans-0.8...
Installed base-compat-0.9.3
Configuring blaze-builder-0.4.1.0...
Building blaze-builder-0.4.1.0...
Installed base-orphans-0.8
Configuring colour-2.3.4...
Building colour-2.3.4...
Installed blaze-builder-0.4.1.0
Configuring data-binary-ieee754-0.4.4...
Building data-binary-ieee754-0.4.4...
Installed data-binary-ieee754-0.4.4
Configuring hashable-1.2.7.0...
Building hashable-1.2.7.0...
Installed colour-2.3.4
Configuring heredoc-0.2.0.0...
Building heredoc-0.2.0.0...
Installed heredoc-0.2.0.0
Configuring ieee754-0.8.0...
Installed hashable-1.2.7.0
Configuring monadLib-3.7.3...
Building ieee754-0.8.0...
Building monadLib-3.7.3...
Installed ieee754-0.8.0
Configuring primitive-0.6.4.0...
Building primitive-0.6.4.0...
Installed monadLib-3.7.3
Configuring random-1.1...
Building random-1.1...
Installed random-1.1
Configuring simple-smt-0.9.1...
Building simple-smt-0.9.1...
Installed simple-smt-0.9.1
Configuring strict-0.3.2...
Building strict-0.3.2...
Installed strict-0.3.2
Configuring syb-0.7...
Building syb-0.7...
Installed primitive-0.6.4.0
Configuring th-abstraction-0.2.8.0...
Building th-abstraction-0.2.8.0...
Installed syb-0.7
Configuring transformers-compat-0.6.2...
Building transformers-compat-0.6.2...
Installed th-abstraction-0.2.8.0
Configuring gitrev-1.3.1...
Building gitrev-1.3.1...
Installed transformers-compat-0.6.2
Configuring blaze-markup-0.8.2.1...
Building blaze-markup-0.8.2.1...
Installed gitrev-1.3.1
Configuring ansi-terminal-0.8.0.4...
Building ansi-terminal-0.8.0.4...
Installed blaze-markup-0.8.2.1
Configuring async-2.2.1...
Building async-2.2.1...
Installed ansi-terminal-0.8.0.4
Configuring crackNum-2.1...
Building crackNum-2.1...
Installed async-2.2.1
Configuring tf-random-0.5...
Building tf-random-0.5...
Installed crackNum-2.1
Configuring generic-deriving-1.12.2...
Installed tf-random-0.5
Configuring transformers-base-0.4.5.2...
Building generic-deriving-1.12.2...
Building transformers-base-0.4.5.2...
Installed transformers-base-0.4.5.2
Configuring panic-0.4.0.1...
Building panic-0.4.0.1...
Installed panic-0.4.0.1
Configuring blaze-html-0.9.1.1...
Building blaze-html-0.9.1.1...
Installed generic-deriving-1.12.2
Configuring QuickCheck-2.11.3...
Building QuickCheck-2.11.3...
Installed blaze-html-0.9.1.1
Configuring monad-control-1.0.2.3...
Building monad-control-1.0.2.3...
Installed monad-control-1.0.2.3
Installed QuickCheck-2.11.3
Configuring sbv-7.10...
Building sbv-7.10...
Installed sbv-7.10
Downloading cryptol-2.6.0...
Configuring cryptol-2.6.0...
Building cryptol-2.6.0...
Installed cryptol-2.6.0