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     colour-2.3.4
Starting     data-reify-0.6.1
Starting     data-default-class-0.1.2.0
Starting     dlist-0.8.0.6
Building     colour-2.3.4
Building     dlist-0.8.0.6
Building     data-reify-0.6.1
Building     data-default-class-0.1.2.0
Completed    data-reify-0.6.1
Starting     old-locale-1.0.0.7
Completed    data-default-class-0.1.2.0
Starting     random-1.1
Building     old-locale-1.0.0.7
Building     random-1.1
Completed    dlist-0.8.0.6
Starting     transformers-compat-0.6.4
Building     transformers-compat-0.6.4
Completed    old-locale-1.0.0.7
Starting     xml-1.3.14
Building     xml-1.3.14
Completed    random-1.1
Starting     data-default-instances-containers-0.0.1
Building     data-default-instances-containers-0.0.1
Completed    transformers-compat-0.6.4
Starting     data-default-instances-dlist-0.0.1
Completed    colour-2.3.4
Starting     data-default-instances-old-locale-0.0.1
Building     data-default-instances-dlist-0.0.1
Building     data-default-instances-old-locale-0.0.1
Completed    data-default-instances-containers-0.0.1
Downloading  copilot-core-3.0.1
Downloaded   copilot-core-3.0.1
Starting     copilot-core-3.0.1
Completed    data-default-instances-dlist-0.0.1
Starting     exceptions-0.10.1
Completed    xml-1.3.14
Starting     ansi-terminal-0.9
Completed    data-default-instances-old-locale-0.0.1
Starting     data-default-0.7.1.1
Building     copilot-core-3.0.1
Building     exceptions-0.10.1
Building     ansi-terminal-0.9
Building     data-default-0.7.1.1
Completed    data-default-0.7.1.1
Completed    ansi-terminal-0.9
Completed    exceptions-0.10.1
Downloading  bimap-0.3.3
Downloaded   bimap-0.3.3
Starting     bimap-0.3.3
Building     bimap-0.3.3
Completed    copilot-core-3.0.1
Completed    bimap-0.3.3
Downloading  copilot-theorem-3.0
Downloaded   copilot-theorem-3.0
Starting     copilot-theorem-3.0
Building     copilot-theorem-3.0
Completed    copilot-theorem-3.0
Downloading  copilot-language-3.0.1
Downloaded   copilot-language-3.0.1
Starting     copilot-language-3.0.1
Building     copilot-language-3.0.1
Completed    copilot-language-3.0.1