Build #1 for copilot-theorem-3.1

[all reports]

Package copilot-theorem-3.1
Install InstallOk
Docs Ok
Tests NotTried
Time submitted 2019-11-23 01:06:33.062888907 UTC
Compiler ghc-8.6.3
OS linux
Arch x86_64
Dependencies ansi-terminal-0.9.1, base-4.12.0.0, bimap-0.3.3, containers-0.6.0.1, copilot-core-3.1, data-default-0.7.1.1, directory-1.3.3.0, mtl-2.2.2, parsec-3.1.13.0, pretty-1.1.3.6, process-1.6.3.0, random-1.1, transformers-0.5.5.0, xml-1.3.14
Flags none

Build log

[view raw]

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     data-default-class-0.1.2.0
Starting     dlist-0.8.0.7
Starting     colour-2.3.5
Starting     old-locale-1.0.0.7
Building     old-locale-1.0.0.7
Building     data-default-class-0.1.2.0
Building     dlist-0.8.0.7
Building     colour-2.3.5
Completed    old-locale-1.0.0.7
Starting     random-1.1
Completed    data-default-class-0.1.2.0
Starting     transformers-compat-0.6.5
Building     random-1.1
Building     transformers-compat-0.6.5
Completed    dlist-0.8.0.7
Starting     xml-1.3.14
Building     xml-1.3.14
Completed    transformers-compat-0.6.5
Starting     data-default-instances-old-locale-0.0.1
Completed    random-1.1
Starting     data-default-instances-containers-0.0.1
Building     data-default-instances-old-locale-0.0.1
Building     data-default-instances-containers-0.0.1
Completed    colour-2.3.5
Starting     data-default-instances-dlist-0.0.1
Completed    xml-1.3.14
Starting     copilot-core-3.1
Completed    data-default-instances-old-locale-0.0.1
Starting     exceptions-0.10.3
Completed    data-default-instances-containers-0.0.1
Starting     ansi-terminal-0.9.1
Building     data-default-instances-dlist-0.0.1
Building     copilot-core-3.1
Building     exceptions-0.10.3
Building     ansi-terminal-0.9.1
Completed    data-default-instances-dlist-0.0.1
Starting     data-default-0.7.1.1
Building     data-default-0.7.1.1
Completed    data-default-0.7.1.1
Completed    ansi-terminal-0.9.1
Completed    exceptions-0.10.3
Starting     bimap-0.3.3
Building     bimap-0.3.3
Completed    copilot-core-3.1
Completed    bimap-0.3.3
Starting     copilot-theorem-3.1
Building     copilot-theorem-3.1
Completed    copilot-theorem-3.1