Build #1 for liquid-fixpoint-0.7.0.2
| Package | liquid-fixpoint-0.7.0.2 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2017-08-28 23:51:51.221477477 UTC |
|---|---|
| Compiler | ghc-8.0.2 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | ansi-terminal-0.7, array-0.5.1.1, ascii-progress-0.3.3.0, async-2.1.1.1, attoparsec-0.13.2.0, base-4.9.1.0, bifunctors-5.4.2, binary-0.8.3.0, boxes-0.1.4, bytestring-0.10.8.1, cereal-0.5.4.0, cmdargs-0.10.17, containers-0.5.7.1, deepseq-1.4.2.0, directory-1.3.0.0, dotgen-0.4.2, fgl-5.6.0.0, fgl-visualize-0.1.0.1, filemanip-0.3.6.3, filepath-1.4.1.1, ghc-prim-0.5.0.0, 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.6.0.1, transformers-0.5.2.0, unordered-containers-0.2.8.0, base-4.9.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 cabal-doctest-1.0.2... Building cabal-doctest-1.0.2... Building base-orphans-0.6... Installed base-orphans-0.6 Configuring cereal-0.5.4.0... Configuring colour-2.3.3... Installed cabal-doctest-1.0.2 Building cereal-0.5.4.0... Building colour-2.3.3... Configuring dlist-0.8.0.3... Installed cereal-0.5.4.0 Configuring data-default-class-0.1.2.0... Installed colour-2.3.3 Building dlist-0.8.0.3... Building data-default-class-0.1.2.0... Configuring dotgen-0.4.2... Installed data-default-class-0.1.2.0 Configuring extensible-exceptions-0.1.1.4... Installed dlist-0.8.0.3 Building dotgen-0.4.2... Building extensible-exceptions-0.1.1.4... Configuring fgl-5.6.0.0... Installed extensible-exceptions-0.1.1.4 Configuring integer-logarithms-1.0.2... Installed dotgen-0.4.2 Building fgl-5.6.0.0... Building integer-logarithms-1.0.2... Configuring located-base-0.1.1.1... Installed integer-logarithms-1.0.2 Building located-base-0.1.1.1... Configuring mtl-2.2.1... Installed located-base-0.1.1.1 Building mtl-2.2.1... Configuring old-locale-1.0.0.7... Installed fgl-5.6.0.0 Building old-locale-1.0.0.7... Configuring parallel-3.2.1.1... Installed mtl-2.2.1 Building parallel-3.2.1.1... Configuring primitive-0.6.2.0... Installed old-locale-1.0.0.7 Building primitive-0.6.2.0... Configuring process-1.6.1.0... Installed parallel-3.2.1.1 Building process-1.6.1.0... Configuring random-1.1... Installed process-1.6.1.0 Building random-1.1... Configuring semigroups-0.18.3... Installed primitive-0.6.2.0 Building semigroups-0.18.3... Configuring split-0.2.3.2... Installed semigroups-0.18.3 Building split-0.2.3.2... Configuring stm-2.4.4.1... Installed random-1.1 Building stm-2.4.4.1... Configuring syb-0.7... Installed split-0.2.3.2 Building syb-0.7... Configuring terminal-size-0.3.2.1... Installed stm-2.4.4.1 Building terminal-size-0.3.2.1... Configuring text-1.2.2.2... Installed syb-0.7 Building text-1.2.2.2... Configuring transformers-compat-0.5.1.4... Installed terminal-size-0.3.2.1 Building transformers-compat-0.5.1.4... Configuring unix-compat-0.4.3.1... Installed transformers-compat-0.5.1.4 Building unix-compat-0.4.3.1... Configuring void-0.7.2... Installed unix-compat-0.4.3.1 Building void-0.7.2... Installed void-0.7.2 Configuring ansi-terminal-0.7... Building ansi-terminal-0.7... Configuring data-default-instances-dlist-0.0.1... Installed ansi-terminal-0.7 Building data-default-instances-dlist-0.0.1... Configuring data-default-instances-containers-0.0.1... Installed data-default-instances-dlist-0.0.1 Building data-default-instances-containers-0.0.1... Configuring fgl-visualize-0.1.0.1... Installed data-default-instances-containers-0.0.1 Building fgl-visualize-0.1.0.1... Configuring data-default-instances-old-locale-0.0.1... Installed fgl-visualize-0.1.0.1 Configuring parallel-io-0.3.3... Installed text-1.2.2.2 Building data-default-instances-old-locale-0.0.1... Building parallel-io-0.3.3... Configuring cmdargs-0.10.17... Installed data-default-instances-old-locale-0.0.1 Building cmdargs-0.10.17... Configuring async-2.1.1.1... Installed parallel-io-0.3.3 Building async-2.1.1.1... Configuring StateVar-1.1.0.4... Installed async-2.1.1.1 Building StateVar-1.1.0.4... Configuring boxes-0.1.4... Installed StateVar-1.1.0.4 Building boxes-0.1.4... Configuring exceptions-0.8.3... Installed boxes-0.1.4 Building exceptions-0.8.3... Configuring tagged-0.8.5... Installed exceptions-0.8.3 Building tagged-0.8.5... Configuring filemanip-0.3.6.3... Installed tagged-0.8.5 Building filemanip-0.3.6.3... Installed cmdargs-0.10.17 Configuring hashable-1.2.6.1... Building hashable-1.2.6.1... Configuring double-conversion-2.0.2.0... Installed filemanip-0.3.6.3 Building double-conversion-2.0.2.0... Configuring data-default-0.7.1.1... Installed hashable-1.2.6.1 Building data-default-0.7.1.1... Configuring parsec-3.1.11... Installed double-conversion-2.0.2.0 Configuring contravariant-1.4... Installed data-default-0.7.1.1 Building parsec-3.1.11... Building contravariant-1.4... Configuring distributive-0.5.3... Installed contravariant-1.4 Configuring concurrent-output-1.10.0... Installed parsec-3.1.11 Building concurrent-output-1.10.0... Building distributive-0.5.3... Warning: /tmp/pkgConf-distributive-0.512390360291884661237.3: Unrecognized field dynamic-library-dirs on line 22 Installed distributive-0.5.3 Configuring scientific-0.3.5.1... Building scientific-0.3.5.1... Installed concurrent-output-1.10.0 Configuring unordered-containers-0.2.8.0... Building unordered-containers-0.2.8.0... Configuring text-format-0.3.1.1... Installed scientific-0.3.5.1 Building text-format-0.3.1.1... Configuring comonad-5.0.2... Installed text-format-0.3.1.1 Installed unordered-containers-0.2.8.0 Configuring ascii-progress-0.3.3.0... Building ascii-progress-0.3.3.0... Building comonad-5.0.2... Installed ascii-progress-0.3.3.0 Configuring attoparsec-0.13.2.0... Building attoparsec-0.13.2.0... Warning: /tmp/pkgConf-comonad-5.04802984901398295499.2: Unrecognized field dynamic-library-dirs on line 29 Configuring intern-0.9.1.4... Installed comonad-5.0.2 Building intern-0.9.1.4... Installed intern-0.9.1.4 Configuring bifunctors-5.4.2... Building bifunctors-5.4.2... Installed attoparsec-0.13.2.0 Installed bifunctors-5.4.2 Downloading liquid-fixpoint-0.7.0.2... Configuring liquid-fixpoint-0.7.0.2... Building liquid-fixpoint-0.7.0.2... Installed liquid-fixpoint-0.7.0.2
Test log
No test log was submitted for this report.