Build #1 for liquid-fixpoint-0.8.0.2
Package | liquid-fixpoint-0.8.0.2 |
---|
Install | InstallOk |
---|---|
Docs | Ok |
Tests | NotTried |
Time submitted | 2019-09-23 21:35:45.364560111 UTC |
---|---|
Compiler | ghc-8.6.3 |
OS | linux |
Arch | x86_64 |
Dependencies | ansi-terminal-0.10, array-0.5.3.0, ascii-progress-0.3.3.0, async-2.2.2, attoparsec-0.13.2.3, 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.1, filepath-1.4.2.1, ghc-prim-0.5.3, 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.10.0, base-4.12.0.0 |
Flags | -devel |
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 cereal-0.5.8.1 Starting colour-2.3.5 Starting data-default-class-0.1.2.0 Starting cmdargs-0.10.20 Building data-default-class-0.1.2.0 Building cereal-0.5.8.1 Building colour-2.3.5 Building cmdargs-0.10.20 Completed data-default-class-0.1.2.0 Starting dlist-0.8.0.7 Building dlist-0.8.0.7 Completed dlist-0.8.0.7 Starting double-conversion-2.0.2.0 Building double-conversion-2.0.2.0 Completed colour-2.3.5 Starting fgl-5.7.0.1 Completed cereal-0.5.8.1 Starting hashable-1.3.0.0 Building fgl-5.7.0.1 Building hashable-1.3.0.0 Completed double-conversion-2.0.2.0 Starting integer-logarithms-1.0.3 Completed hashable-1.3.0.0 Starting old-locale-1.0.0.7 Building integer-logarithms-1.0.3 Building old-locale-1.0.0.7 Completed integer-logarithms-1.0.3 Starting parallel-3.2.2.0 Completed old-locale-1.0.0.7 Starting primitive-0.7.0.0 Building parallel-3.2.2.0 Building primitive-0.7.0.0 Completed parallel-3.2.2.0 Starting split-0.2.3.3 Building split-0.2.3.3 Completed fgl-5.7.0.1 Starting syb-0.7.1 Building syb-0.7.1 Completed split-0.2.3.3 Starting terminal-size-0.3.2.1 Building terminal-size-0.3.2.1 Completed cmdargs-0.10.20 Starting transformers-compat-0.6.5 Building transformers-compat-0.6.5 Completed terminal-size-0.3.2.1 Starting data-default-instances-containers-0.0.1 Completed syb-0.7.1 Starting data-default-instances-dlist-0.0.1 Building data-default-instances-containers-0.0.1 Building data-default-instances-dlist-0.0.1 Completed data-default-instances-containers-0.0.1 Starting ansi-terminal-0.10 Completed data-default-instances-dlist-0.0.1 Starting unordered-containers-0.2.10.0 Completed transformers-compat-0.6.5 Starting async-2.2.2 Building ansi-terminal-0.10 Building unordered-containers-0.2.10.0 Building async-2.2.2 Completed primitive-0.7.0.0 Starting text-format-0.3.2 Completed async-2.2.2 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 ansi-terminal-0.10 Starting boxes-0.1.5 Building boxes-0.1.5 Completed data-default-instances-old-locale-0.0.1 Starting exceptions-0.10.3 Building exceptions-0.10.3 Completed boxes-0.1.5 Starting scientific-0.3.6.2 Building scientific-0.3.6.2 Completed text-format-0.3.2 Starting data-default-0.7.1.1 Building data-default-0.7.1.1 Completed data-default-0.7.1.1 Completed exceptions-0.10.3 Starting concurrent-output-1.10.10 Completed unordered-containers-0.2.10.0 Starting intern-0.9.2 Building concurrent-output-1.10.10 Building intern-0.9.2 Completed scientific-0.3.6.2 Starting attoparsec-0.13.2.3 Building attoparsec-0.13.2.3 Completed intern-0.9.2 Completed concurrent-output-1.10.10 Starting ascii-progress-0.3.3.0 Building ascii-progress-0.3.3.0 Completed attoparsec-0.13.2.3 Completed ascii-progress-0.3.3.0 Starting liquid-fixpoint-0.8.0.2 Building liquid-fixpoint-0.8.0.2 Completed liquid-fixpoint-0.8.0.2
Test log
No test log was submitted for this report.