Build #1 for copilot-theorem-3.1
| 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 |
Code Coverage
No Code Coverage was submitted for this report.
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
Test log
No test log was submitted for this report.