Warning: The install command is a part of the legacy v1 style of cabal usage.

Please switch to using either the new project style and the new-install
command or the legacy v1-install alias as new-style projects will become the
default in the next version of cabal-install. Please file a bug if you cannot
replicate a working v1- use case with the new-style commands.

For more information, see: https://wiki.haskell.org/Cabal/NewBuild

Resolving dependencies...
Starting     GraphSCC-1.0.4
Starting     base-orphans-0.8.1
Starting     FloatingHex-0.4
Starting     base-compat-0.10.5
Building     GraphSCC-1.0.4
Building     FloatingHex-0.4
Building     base-orphans-0.8.1
Building     base-compat-0.10.5
Completed    base-orphans-0.8.1
Starting     blaze-builder-0.4.1.0
Completed    GraphSCC-1.0.4
Starting     colour-2.3.5
Completed    FloatingHex-0.4
Starting     cryptohash-sha1-0.11.100.1
Building     blaze-builder-0.4.1.0
Building     colour-2.3.5
Building     cryptohash-sha1-0.11.100.1
Completed    cryptohash-sha1-0.11.100.1
Starting     hashable-1.3.0.0
Building     hashable-1.3.0.0
Completed    blaze-builder-0.4.1.0
Starting     heredoc-0.2.0.0
Building     heredoc-0.2.0.0
Completed    base-compat-0.10.5
Starting     monadLib-3.9
Building     monadLib-3.9
Completed    heredoc-0.2.0.0
Starting     primitive-0.7.0.0
Building     primitive-0.7.0.0
Completed    colour-2.3.5
Starting     random-1.1
Completed    hashable-1.3.0.0
Starting     simple-smt-0.9.4
Building     random-1.1
Building     simple-smt-0.9.4
Completed    monadLib-3.9
Starting     strict-0.3.2
Building     strict-0.3.2
Completed    simple-smt-0.9.4
Starting     syb-0.7.1
Completed    random-1.1
Starting     th-abstraction-0.3.1.0
Building     syb-0.7.1
Building     th-abstraction-0.3.1.0
Completed    strict-0.3.2
Starting     transformers-compat-0.6.5
Building     transformers-compat-0.6.5
Completed    syb-0.7.1
Starting     crackNum-2.3
Building     crackNum-2.3
Completed    transformers-compat-0.6.5
Starting     blaze-markup-0.8.2.2
Completed    th-abstraction-0.3.1.0
Starting     gitrev-1.3.1
Building     blaze-markup-0.8.2.2
Building     gitrev-1.3.1
Completed    primitive-0.7.0.0
Starting     ansi-terminal-0.9.1
Completed    gitrev-1.3.1
Starting     async-2.2.2
Building     ansi-terminal-0.9.1
Building     async-2.2.2
Completed    blaze-markup-0.8.2.2
Starting     splitmix-0.0.3
Building     splitmix-0.0.3
Completed    crackNum-2.3
Starting     transformers-base-0.4.5.2
Building     transformers-base-0.4.5.2
Completed    async-2.2.2
Starting     generic-deriving-1.13
Completed    splitmix-0.0.3
Starting     tf-random-0.5
Building     generic-deriving-1.13
Completed    transformers-base-0.4.5.2
Starting     panic-0.4.0.1
Completed    ansi-terminal-0.9.1
Starting     blaze-html-0.9.1.1
Building     tf-random-0.5
Building     panic-0.4.0.1
Building     blaze-html-0.9.1.1
Completed    panic-0.4.0.1
Starting     QuickCheck-2.13.2
Building     QuickCheck-2.13.2
Completed    tf-random-0.5
Starting     monad-control-1.0.2.3
Building     monad-control-1.0.2.3
Completed    monad-control-1.0.2.3
Completed    blaze-html-0.9.1.1
Completed    generic-deriving-1.13
Completed    QuickCheck-2.13.2
Starting     sbv-8.4
Building     sbv-8.4
Completed    sbv-8.4
Downloading  cryptol-2.8.0
Downloaded   cryptol-2.8.0
Starting     cryptol-2.8.0
Building     cryptol-2.8.0
Completed    cryptol-2.8.0