Build #1 for copilot-language-3.0.1

[all reports]

Package copilot-language-3.0.1
Install InstallOk
Docs Ok
Tests NotTried
Time submitted 2019-04-09 13:17:25.525139665 UTC
Compiler ghc-8.6.3
OS linux
Arch x86_64
Dependencies array-0.5.3.0, base-4.12.0.0, containers-0.6.0.1, copilot-core-3.0.1, copilot-theorem-3.0, data-reify-0.6.1, ghc-prim-0.5.3, mtl-2.2.2
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     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