Build #1 for logic-TPTP-0.4.5.0
| Package | logic-TPTP-0.4.5.0 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2017-09-02 16:45:56.327653005 UTC |
|---|---|
| Compiler | ghc-8.0.2 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | QuickCheck-2.10.0.1, ansi-wl-pprint-0.6.8.1, array-0.5.1.1, base-4.9.1.0, containers-0.5.7.1, mtl-2.2.1, pointed-5, syb-0.7, 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 base-orphans-0.6... Configuring ansi-terminal-0.6.3.1... Building base-orphans-0.6... Building ansi-terminal-0.6.3.1... Installed base-orphans-0.6 Configuring cabal-doctest-1.0.2... Building cabal-doctest-1.0.2... Configuring fail-4.9.0.0... Installed ansi-terminal-0.6.3.1 Building fail-4.9.0.0... Configuring data-default-class-0.1.2.0... Installed fail-4.9.0.0 Building data-default-class-0.1.2.0... Configuring prelude-extras-0.4.0.3... Installed cabal-doctest-1.0.2 Building prelude-extras-0.4.0.3... Configuring mtl-2.2.1... Installed data-default-class-0.1.2.0 Building mtl-2.2.1... Configuring random-1.1... Installed prelude-extras-0.4.0.3 Building random-1.1... Configuring primitive-0.6.2.0... Installed mtl-2.2.1 Building primitive-0.6.2.0... Configuring stm-2.4.4.1... Installed random-1.1 Building stm-2.4.4.1... Configuring semigroups-0.18.3... Installed stm-2.4.4.1 Building semigroups-0.18.3... Configuring syb-0.7... Installed primitive-0.6.2.0 Configuring text-1.2.2.2... Installed semigroups-0.18.3 Building syb-0.7... Building text-1.2.2.2... Configuring transformers-compat-0.5.1.4... Installed syb-0.7 Building transformers-compat-0.5.1.4... Configuring void-0.7.2... Installed transformers-compat-0.5.1.4 Building void-0.7.2... Installed void-0.7.2 Configuring StateVar-1.1.0.4... Building StateVar-1.1.0.4... Configuring ansi-wl-pprint-0.6.8.1... Installed StateVar-1.1.0.4 Building ansi-wl-pprint-0.6.8.1... Configuring tf-random-0.5... Installed ansi-wl-pprint-0.6.8.1 Building tf-random-0.5... Configuring exceptions-0.8.3... Installed text-1.2.2.2 Building exceptions-0.8.3... Configuring tagged-0.8.5... Installed tf-random-0.5 Building tagged-0.8.5... Installed exceptions-0.8.3 Configuring contravariant-1.4... Configuring hashable-1.2.6.1... Installed tagged-0.8.5 Building contravariant-1.4... Building hashable-1.2.6.1... Configuring QuickCheck-2.10.0.1... Installed contravariant-1.4 Installed hashable-1.2.6.1 Configuring unordered-containers-0.2.8.0... Building QuickCheck-2.10.0.1... Building unordered-containers-0.2.8.0... Configuring distributive-0.5.3... Installed unordered-containers-0.2.8.0 Building distributive-0.5.3... Warning: /tmp/pkgConf-distributive-0.51376710097927612902.3: Unrecognized field dynamic-library-dirs on line 22 Installed distributive-0.5.3 Configuring comonad-5.0.2... Building comonad-5.0.2... Installed QuickCheck-2.10.0.1 Warning: /tmp/pkgConf-comonad-5.01194953865894429689.2: Unrecognized field dynamic-library-dirs on line 29 Installed comonad-5.0.2 Configuring bifunctors-5.4.2... Building bifunctors-5.4.2... Installed bifunctors-5.4.2 Configuring semigroupoids-5.2.1... Configuring profunctors-5.2.1... Building profunctors-5.2.1... Building semigroupoids-5.2.1... Installed profunctors-5.2.1 Warning: /tmp/pkgConf-semigroupoids-5.21255179497524872353.1: Unrecognized field dynamic-library-dirs on line 60 Installed semigroupoids-5.2.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.2... Building kan-extensions-5.0.2... Installed kan-extensions-5.0.2 Configuring pointed-5... Building pointed-5... Installed pointed-5 Downloading logic-TPTP-0.4.5.0... Configuring logic-TPTP-0.4.5.0... Building logic-TPTP-0.4.5.0... Installed logic-TPTP-0.4.5.0
Test log
No test log was submitted for this report.