Build #1 for copilot-theorem-3.2
| Package | copilot-theorem-3.2 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2020-12-06 22:12:55.907071952 UTC |
|---|---|
| Compiler | ghc-8.10.2 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | ansi-terminal-0.9.1, base-4.14.1.0, bimap-0.3.3, containers-0.6.2.1, copilot-core-3.2, data-default-0.7.1.1, directory-1.3.6.0, mtl-2.2.2, parsec-3.1.14.0, pretty-1.1.3.6, process-1.6.9.0, random-1.1, transformers-0.5.6.2, xml-1.3.14 |
| 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 bimap-0.3.3 Building colour-2.3.5 Building dlist-1.0 Completed data-default-class-0.1.2.0 Starting old-locale-1.0.0.7 Building old-locale-1.0.0.7 Completed bimap-0.3.3 Starting random-1.1 Building random-1.1 Completed old-locale-1.0.0.7 Starting xml-1.3.14 Completed dlist-1.0 Starting data-default-instances-containers-0.0.1 Building xml-1.3.14 Building data-default-instances-containers-0.0.1 Completed data-default-instances-containers-0.0.1 Starting data-default-instances-old-locale-0.0.1 Building data-default-instances-old-locale-0.0.1 Completed random-1.1 Starting data-default-instances-dlist-0.0.1 Completed data-default-instances-old-locale-0.0.1 Starting copilot-core-3.2 Building data-default-instances-dlist-0.0.1 Completed colour-2.3.5 Starting ansi-terminal-0.9.1 Building copilot-core-3.2 Building ansi-terminal-0.9.1 Completed xml-1.3.14 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 copilot-core-3.2 Starting copilot-theorem-3.2 Building copilot-theorem-3.2 Completed copilot-theorem-3.2
Test log
No test log was submitted for this report.