Build #1 for liquid-fixpoint-0.7.0.7
| Package | liquid-fixpoint-0.7.0.7 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2018-02-16 00:30:25.415985463 UTC |
|---|---|
| Compiler | ghc-8.2.2 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | ansi-terminal-0.8.0.1, array-0.5.2.0, ascii-progress-0.3.3.0, async-2.1.1.1, attoparsec-0.13.2.0, base-4.10.1.0, bifunctors-5.5.2, binary-0.8.5.1, boxes-0.1.4, bytestring-0.10.8.2, cereal-0.5.5.0, cmdargs-0.10.20, containers-0.5.10.2, deepseq-1.4.3.0, directory-1.3.0.2, dotgen-0.4.2, fgl-5.6.0.0, fgl-visualize-0.1.0.1, filemanip-0.3.6.3, filepath-1.4.1.2, ghc-prim-0.5.1.1, hashable-1.2.6.1, intern-0.9.1.4, located-base-0.1.1.1, mtl-2.2.1, parallel-3.2.1.1, parallel-io-0.3.3, parsec-3.1.11, pretty-1.1.3.3, process-1.6.1.0, syb-0.7, text-1.2.2.2, text-format-0.3.1.1, time-1.8.0.2, transformers-0.5.2.0, unordered-containers-0.2.8.0, base-4.10.1.0 |
| Flags | -devel |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies... Configuring base-orphans-0.6... Configuring boxes-0.1.4... Building base-orphans-0.6... Building boxes-0.1.4... Installed base-orphans-0.6 Configuring cabal-doctest-1.0.6... Installed boxes-0.1.4 Configuring cereal-0.5.5.0... Building cabal-doctest-1.0.6... Building cereal-0.5.5.0... Installed cabal-doctest-1.0.6 Configuring cmdargs-0.10.20... Building cmdargs-0.10.20... Installed cereal-0.5.5.0 Configuring colour-2.3.4... Building colour-2.3.4... Installed colour-2.3.4 Configuring data-default-class-0.1.2.0... Building data-default-class-0.1.2.0... Installed data-default-class-0.1.2.0 Configuring dlist-0.8.0.4... Building dlist-0.8.0.4... Installed dlist-0.8.0.4 Configuring dotgen-0.4.2... Building dotgen-0.4.2... Installed cmdargs-0.10.20 Configuring double-conversion-2.0.2.0... Installed dotgen-0.4.2 Configuring extensible-exceptions-0.1.1.4... Building double-conversion-2.0.2.0... Building extensible-exceptions-0.1.1.4... Installed extensible-exceptions-0.1.1.4 Configuring intern-0.9.1.4... Building intern-0.9.1.4... Installed double-conversion-2.0.2.0 Configuring located-base-0.1.1.1... Installed intern-0.9.1.4 Configuring old-locale-1.0.0.7... Building located-base-0.1.1.1... Building old-locale-1.0.0.7... Installed located-base-0.1.1.1 Configuring semigroups-0.18.4... Installed old-locale-1.0.0.7 Configuring terminal-size-0.3.2.1... Building semigroups-0.18.4... Building terminal-size-0.3.2.1... Installed semigroups-0.18.4 Configuring th-abstraction-0.2.6.0... Building th-abstraction-0.2.6.0... Installed terminal-size-0.3.2.1 Configuring transformers-compat-0.5.1.4... Building transformers-compat-0.5.1.4... Installed transformers-compat-0.5.1.4 Configuring unix-compat-0.5.0.1... Building unix-compat-0.5.0.1... Installed th-abstraction-0.2.6.0 Configuring ansi-terminal-0.8.0.1... Building ansi-terminal-0.8.0.1... Installed unix-compat-0.5.0.1 Configuring data-default-instances-containers-0.0.1... Building data-default-instances-containers-0.0.1... Installed data-default-instances-containers-0.0.1 Configuring data-default-instances-dlist-0.0.1... Installed ansi-terminal-0.8.0.1 Configuring fgl-visualize-0.1.0.1... Building data-default-instances-dlist-0.0.1... Building fgl-visualize-0.1.0.1... Installed data-default-instances-dlist-0.0.1 Configuring parallel-io-0.3.3... Building parallel-io-0.3.3... Installed fgl-visualize-0.1.0.1 Configuring text-format-0.3.1.1... Building text-format-0.3.1.1... Installed parallel-io-0.3.3 Configuring data-default-instances-old-locale-0.0.1... Building data-default-instances-old-locale-0.0.1... Installed data-default-instances-old-locale-0.0.1 Configuring tagged-0.8.5... Building tagged-0.8.5... Installed text-format-0.3.1.1 Configuring exceptions-0.8.3... Building exceptions-0.8.3... Installed tagged-0.8.5 Configuring contravariant-1.4.1... Building contravariant-1.4.1... Installed exceptions-0.8.3 Configuring filemanip-0.3.6.3... Building filemanip-0.3.6.3... Installed contravariant-1.4.1 Configuring data-default-0.7.1.1... Installed filemanip-0.3.6.3 Configuring distributive-0.5.3... Building data-default-0.7.1.1... Installed data-default-0.7.1.1 Configuring concurrent-output-1.10.3... Building distributive-0.5.3... Building concurrent-output-1.10.3... Installed distributive-0.5.3 Configuring comonad-5.0.3... Building comonad-5.0.3... Installed concurrent-output-1.10.3 Configuring ascii-progress-0.3.3.0... Building ascii-progress-0.3.3.0... Installed comonad-5.0.3 Configuring bifunctors-5.5.2... Building bifunctors-5.5.2... Installed ascii-progress-0.3.3.0 Installed bifunctors-5.5.2 Configuring liquid-fixpoint-0.7.0.7... Building liquid-fixpoint-0.7.0.7... Installed liquid-fixpoint-0.7.0.7
Test log
No test log was submitted for this report.