Build #1 for copilot-language-3.2
| Package | copilot-language-3.2 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2020-12-06 22:09:11.546991111 UTC |
|---|---|
| Compiler | ghc-8.10.2 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | array-0.5.4.0, base-4.14.1.0, containers-0.6.2.1, copilot-core-3.2, copilot-theorem-3.2, data-reify-0.6.3, ghc-prim-0.6.1, mtl-2.2.2 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies... Starting bimap-0.3.3 Starting data-default-class-0.1.2.0 Starting dlist-1.0 Starting colour-2.3.5 Building data-default-class-0.1.2.0 Building dlist-1.0 Building colour-2.3.5 Building bimap-0.3.3 Completed data-default-class-0.1.2.0 Starting hashable-1.3.0.0 Building hashable-1.3.0.0 Completed bimap-0.3.3 Starting old-locale-1.0.0.7 Building old-locale-1.0.0.7 Completed dlist-1.0 Starting random-1.1 Building random-1.1 Completed old-locale-1.0.0.7 Starting xml-1.3.14 Building xml-1.3.14 Completed hashable-1.3.0.0 Starting data-default-instances-containers-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 data-default-instances-containers-0.0.1 Starting copilot-core-3.2 Building data-default-instances-dlist-0.0.1 Completed random-1.1 Starting data-default-instances-old-locale-0.0.1 Building copilot-core-3.2 Building data-default-instances-old-locale-0.0.1 Completed data-default-instances-dlist-0.0.1 Starting unordered-containers-0.2.13.0 Completed xml-1.3.14 Starting ansi-terminal-0.9.1 Building unordered-containers-0.2.13.0 Completed data-default-instances-old-locale-0.0.1 Starting data-default-0.7.1.1 Building ansi-terminal-0.9.1 Building data-default-0.7.1.1 Completed data-default-0.7.1.1 Completed copilot-core-3.2 Completed ansi-terminal-0.9.1 Downloading copilot-theorem-3.2 Downloaded copilot-theorem-3.2 Starting copilot-theorem-3.2 Building copilot-theorem-3.2 Completed unordered-containers-0.2.13.0 Starting data-reify-0.6.3 Building data-reify-0.6.3 Completed data-reify-0.6.3 Completed copilot-theorem-3.2 Downloading copilot-language-3.2 Downloaded copilot-language-3.2 Starting copilot-language-3.2 Building copilot-language-3.2 Completed copilot-language-3.2
Test log
No test log was submitted for this report.