Build #2 for logic-TPTP-0.4.4.0
| Package | logic-TPTP-0.4.4.0 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2016-11-28 11:09:23.316069 UTC |
|---|---|
| Compiler | ghc-8.0.1.20161018 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | QuickCheck-2.9.2, ansi-wl-pprint-0.6.7.3, array-0.5.1.1, base-4.9.0.0, containers-0.5.7.1, mtl-2.2.1, pointed-5, syb-0.6, transformers-0.5.2.0, transformers-compat-0.5.1.4 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies... Configuring ansi-terminal-0.6.2.3... Configuring base-orphans-0.5.4... Building base-orphans-0.5.4... Building ansi-terminal-0.6.2.3... Installed base-orphans-0.5.4 Configuring data-default-class-0.1.2.0... Building data-default-class-0.1.2.0... Configuring mtl-2.2.1... Installed ansi-terminal-0.6.2.3 Configuring prelude-extras-0.4.0.3... Installed data-default-class-0.1.2.0 Building mtl-2.2.1... Building prelude-extras-0.4.0.3... Configuring random-1.1... Installed mtl-2.2.1 Configuring semigroups-0.18.2... Installed prelude-extras-0.4.0.3 Building random-1.1... Building semigroups-0.18.2... Configuring primitive-0.6.2.0... Installed semigroups-0.18.2 Building primitive-0.6.2.0... Configuring stm-2.4.4.1... Installed random-1.1 Building stm-2.4.4.1... Configuring syb-0.6... Installed stm-2.4.4.1 Building syb-0.6... Configuring text-1.2.2.1... Installed primitive-0.6.2.0 Building text-1.2.2.1... Configuring transformers-compat-0.5.1.4... Installed syb-0.6 Building transformers-compat-0.5.1.4... Installed transformers-compat-0.5.1.4 Configuring ansi-wl-pprint-0.6.7.3... Building ansi-wl-pprint-0.6.7.3... Installed ansi-wl-pprint-0.6.7.3 Configuring tf-random-0.5... Building tf-random-0.5... Configuring StateVar-1.1.0.4... Installed tf-random-0.5 Building StateVar-1.1.0.4... Configuring exceptions-0.8.3... Installed StateVar-1.1.0.4 Building exceptions-0.8.3... Configuring tagged-0.8.5... Installed text-1.2.2.1 Installed exceptions-0.8.3 Configuring hashable-1.2.4.0... Building tagged-0.8.5... Building hashable-1.2.4.0... Configuring QuickCheck-2.9.2... Installed tagged-0.8.5 Configuring distributive-0.5.0.2... Installed hashable-1.2.4.0 Building QuickCheck-2.9.2... Building distributive-0.5.0.2... Installed distributive-0.5.0.2 Configuring unordered-containers-0.2.7.1... Building unordered-containers-0.2.7.1... Configuring void-0.7.1... Installed unordered-containers-0.2.7.1 Building void-0.7.1... Installed void-0.7.1 Configuring contravariant-1.4... Installed QuickCheck-2.9.2 Building contravariant-1.4... Installed contravariant-1.4 Configuring comonad-5... Building comonad-5... Installed comonad-5 Configuring bifunctors-5.4.1... Building bifunctors-5.4.1... Installed bifunctors-5.4.1 Configuring semigroupoids-5.1... Configuring profunctors-5.2... Building profunctors-5.2... Building semigroupoids-5.1... Installed profunctors-5.2 Installed semigroupoids-5.1 Configuring free-4.12.4... Building free-4.12.4... Installed free-4.12.4 Configuring adjunctions-4.3... Building adjunctions-4.3... Installed adjunctions-4.3 Configuring kan-extensions-5.0.1... Building kan-extensions-5.0.1... Installed kan-extensions-5.0.1 Configuring pointed-5... Building pointed-5... Installed pointed-5 Downloading logic-TPTP-0.4.4.0... Configuring logic-TPTP-0.4.4.0... Building logic-TPTP-0.4.4.0... Installed logic-TPTP-0.4.4.0
Test log
No test log was submitted for this report.