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-, bimap-0.3.3, containers-, copilot-core-3.1, data-default-, directory-, mtl-2.2.2, parsec-, pretty-, process-, random-1.1, transformers-, 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:

Resolving dependencies...
Starting     data-default-class-
Starting     dlist-
Starting     colour-2.3.5
Starting     old-locale-
Building     old-locale-
Building     data-default-class-
Building     dlist-
Building     colour-2.3.5
Completed    old-locale-
Starting     random-1.1
Completed    data-default-class-
Starting     transformers-compat-0.6.5
Building     random-1.1
Building     transformers-compat-0.6.5
Completed    dlist-
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-
Building     data-default-
Completed    data-default-
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