Build #1 for logic-TPTP-0.4.6.0
| Package | logic-TPTP-0.4.6.0 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2018-07-21 21:28:51.260993493 UTC |
|---|---|
| Compiler | ghc-8.4.3 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | QuickCheck-2.11.3, ansi-wl-pprint-0.6.8.2, array-0.5.2.0, base-4.11.1.0, containers-0.5.11.0, mtl-2.2.2, pointed-5.0.1, semigroups-0.18.5, syb-0.7, transformers-0.5.5.0, transformers-compat-0.6.2 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies... Configuring StateVar-1.1.1.0... Configuring base-orphans-0.8... Building base-orphans-0.8... Building StateVar-1.1.1.0... Installed StateVar-1.1.1.0 Configuring cabal-doctest-1.0.6... Building cabal-doctest-1.0.6... Installed base-orphans-0.8 Configuring colour-2.3.4... Building colour-2.3.4... Installed cabal-doctest-1.0.6 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 hashable-1.2.7.0... Building hashable-1.2.7.0... Installed colour-2.3.4 Configuring primitive-0.6.4.0... Installed hashable-1.2.7.0 Configuring random-1.1... Building primitive-0.6.4.0... Building random-1.1... Installed random-1.1 Configuring semigroups-0.18.5... Building semigroups-0.18.5... Installed semigroups-0.18.5 Configuring syb-0.7... Building syb-0.7... Installed syb-0.7 Configuring tagged-0.8.6... Building tagged-0.8.6... Installed primitive-0.6.4.0 Configuring th-abstraction-0.2.8.0... Building th-abstraction-0.2.8.0... Installed tagged-0.8.6 Configuring transformers-compat-0.6.2... Building transformers-compat-0.6.2... Installed th-abstraction-0.2.8.0 Configuring void-0.7.2... Installed transformers-compat-0.6.2 Configuring contravariant-1.5... Building void-0.7.2... Building contravariant-1.5... Installed void-0.7.2 Configuring ansi-terminal-0.8.0.4... Building ansi-terminal-0.8.0.4... Installed contravariant-1.5 Configuring unordered-containers-0.2.9.0... Building unordered-containers-0.2.9.0... Installed ansi-terminal-0.8.0.4 Configuring tf-random-0.5... Building tf-random-0.5... Installed tf-random-0.5 Configuring distributive-0.6... Building distributive-0.6... Installed unordered-containers-0.2.9.0 Configuring transformers-base-0.4.5.2... Building transformers-base-0.4.5.2... Installed distributive-0.6 Configuring exceptions-0.10.0... Building exceptions-0.10.0... Installed transformers-base-0.4.5.2 Configuring ansi-wl-pprint-0.6.8.2... Building ansi-wl-pprint-0.6.8.2... Installed ansi-wl-pprint-0.6.8.2 Configuring QuickCheck-2.11.3... Installed exceptions-0.10.0 Configuring comonad-5.0.4... Building QuickCheck-2.11.3... Building comonad-5.0.4... Installed comonad-5.0.4 Configuring bifunctors-5.5.3... Building bifunctors-5.5.3... Installed bifunctors-5.5.3 Configuring semigroupoids-5.3.1... Installed QuickCheck-2.11.3 Configuring profunctors-5.3... Building profunctors-5.3... Building semigroupoids-5.3.1... Installed profunctors-5.3 Configuring invariant-0.5.1... Building invariant-0.5.1... Installed semigroupoids-5.3.1 Configuring free-5.1... Building free-5.1... Installed invariant-0.5.1 Installed free-5.1 Configuring adjunctions-4.4... Building adjunctions-4.4... Installed adjunctions-4.4 Configuring kan-extensions-5.2... Building kan-extensions-5.2... Installed kan-extensions-5.2 Configuring pointed-5.0.1... Building pointed-5.0.1... Installed pointed-5.0.1 Downloading logic-TPTP-0.4.6.0... Configuring logic-TPTP-0.4.6.0... Building logic-TPTP-0.4.6.0... Installed logic-TPTP-0.4.6.0
Test log
No test log was submitted for this report.