Build #1 for liquid-fixpoint-0.8.10.2
Package | liquid-fixpoint-0.8.10.2 |
---|
Install | InstallOk |
---|---|
Docs | Ok |
Tests | NotTried |
Time submitted | 2020-08-24 08:10:53.963386132 UTC |
---|---|
Compiler | ghc-8.6.3 |
OS | linux |
Arch | x86_64 |
Dependencies | ansi-terminal-0.11, array-0.5.3.0, ascii-progress-0.3.3.0, async-2.2.2, attoparsec-0.13.2.4, base-4.12.0.0, binary-0.8.6.0, boxes-0.1.5, cereal-0.5.8.1, cmdargs-0.10.20, containers-0.6.0.1, deepseq-1.4.4.0, directory-1.3.3.0, fgl-5.7.0.3, filepath-1.4.2.1, hashable-1.3.0.0, intern-0.9.2, mtl-2.2.2, parallel-3.2.2.0, parsec-3.1.13.0, pretty-1.1.3.6, process-1.6.3.0, syb-0.7.1, text-1.2.3.1, text-format-0.3.2, transformers-0.5.5.0, unordered-containers-0.2.12.0, base-4.12.0.0 |
Flags | -devel |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies... Starting data-default-class-0.1.2.0 Starting colour-2.3.5 Starting cereal-0.5.8.1 Starting cmdargs-0.10.20 Building colour-2.3.5 Building cereal-0.5.8.1 Building data-default-class-0.1.2.0 Building cmdargs-0.10.20 Completed data-default-class-0.1.2.0 Starting dlist-1.0 Building dlist-1.0 Completed dlist-1.0 Starting double-conversion-2.0.2.0 Building double-conversion-2.0.2.0 Completed colour-2.3.5 Starting exceptions-0.10.4 Completed cereal-0.5.8.1 Starting fgl-5.7.0.3 Building exceptions-0.10.4 Building fgl-5.7.0.3 Completed exceptions-0.10.4 Starting hashable-1.3.0.0 Completed double-conversion-2.0.2.0 Starting integer-logarithms-1.0.3 Building hashable-1.3.0.0 Building integer-logarithms-1.0.3 Completed integer-logarithms-1.0.3 Starting old-locale-1.0.0.7 Building old-locale-1.0.0.7 Completed hashable-1.3.0.0 Starting parallel-3.2.2.0 Completed old-locale-1.0.0.7 Starting primitive-0.7.1.0 Building parallel-3.2.2.0 Building primitive-0.7.1.0 Completed fgl-5.7.0.3 Starting split-0.2.3.4 Building split-0.2.3.4 Completed parallel-3.2.2.0 Starting syb-0.7.1 Building syb-0.7.1 Completed cmdargs-0.10.20 Starting terminal-size-0.3.2.1 Completed split-0.2.3.4 Starting data-default-instances-containers-0.0.1 Building terminal-size-0.3.2.1 Building data-default-instances-containers-0.0.1 Completed data-default-instances-containers-0.0.1 Starting data-default-instances-dlist-0.0.1 Building data-default-instances-dlist-0.0.1 Completed terminal-size-0.3.2.1 Starting ansi-terminal-0.11 Building ansi-terminal-0.11 Completed data-default-instances-dlist-0.0.1 Starting unordered-containers-0.2.12.0 Completed syb-0.7.1 Starting async-2.2.2 Building unordered-containers-0.2.12.0 Building async-2.2.2 Completed async-2.2.2 Starting text-format-0.3.2 Completed ansi-terminal-0.11 Starting data-default-instances-old-locale-0.0.1 Building text-format-0.3.2 Building data-default-instances-old-locale-0.0.1 Completed data-default-instances-old-locale-0.0.1 Starting boxes-0.1.5 Building boxes-0.1.5 Completed primitive-0.7.1.0 Starting concurrent-output-1.10.12 Building concurrent-output-1.10.12 Completed boxes-0.1.5 Starting data-default-0.7.1.1 Completed text-format-0.3.2 Starting scientific-0.3.6.2 Building data-default-0.7.1.1 Building scientific-0.3.6.2 Completed data-default-0.7.1.1 Completed unordered-containers-0.2.12.0 Starting intern-0.9.2 Building intern-0.9.2 Completed scientific-0.3.6.2 Starting attoparsec-0.13.2.4 Building attoparsec-0.13.2.4 Completed intern-0.9.2 Completed concurrent-output-1.10.12 Starting ascii-progress-0.3.3.0 Building ascii-progress-0.3.3.0 Completed ascii-progress-0.3.3.0 Completed attoparsec-0.13.2.4 Downloading liquid-fixpoint-0.8.10.2 Downloaded liquid-fixpoint-0.8.10.2 Starting liquid-fixpoint-0.8.10.2 Building liquid-fixpoint-0.8.10.2 Completed liquid-fixpoint-0.8.10.2
Test log
No test log was submitted for this report.