Build #1 for logic-TPTP-0.6.0.0
| Package | logic-TPTP-0.6.0.0 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2024-11-09 08:53:32.009496859 UTC |
|---|---|
| Compiler | ghc-9.6.3 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | QuickCheck-2.15.0.1, array-0.5.5.0, base-4.18.1.0, containers-0.6.7, mtl-2.3.1, pointed-5.0.5, prettyprinter-1.7.1, prettyprinter-ansi-terminal-1.1.3, semigroups-0.20, syb-0.7.2.4, text-2.0.2, transformers-0.6.1.0 |
| Flags | -buildtestprograms |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies... Starting StateVar-1.2.2 Starting assoc-1.1.1 Starting data-default-0.8.0.0 Starting colour-2.3.6 Starting indexed-traversable-0.1.4 Starting os-string-2.0.6 Starting semigroups-0.20 Starting splitmix-0.1.0.5 Starting tagged-0.8.8 Starting th-abstraction-0.7.0.0 Starting syb-0.7.2.4 Starting void-0.7.3 Starting base-orphans-0.9.2 Starting prettyprinter-1.7.1 Starting transformers-compat-0.7.2 Building assoc-1.1.1 Building os-string-2.0.6 Building data-default-0.8.0.0 Building void-0.7.3 Building splitmix-0.1.0.5 Building syb-0.7.2.4 Building StateVar-1.2.2 Building colour-2.3.6 Building prettyprinter-1.7.1 Building transformers-compat-0.7.2 Building indexed-traversable-0.1.4 Building semigroups-0.20 Building th-abstraction-0.7.0.0 Building tagged-0.8.8 Building base-orphans-0.9.2 Completed assoc-1.1.1 Completed void-0.7.3 Completed semigroups-0.20 Completed StateVar-1.2.2 Starting contravariant-1.5.5 Completed splitmix-0.1.0.5 Starting random-1.2.1.2 Building contravariant-1.5.5 Building random-1.2.1.2 Completed syb-0.7.2.4 Completed base-orphans-0.9.2 Completed tagged-0.8.8 Starting distributive-0.6.2.1 Completed data-default-0.8.0.0 Starting data-default-class-0.2.0.0 Completed transformers-compat-0.7.2 Starting transformers-base-0.4.6 Building distributive-0.6.2.1 Building data-default-class-0.2.0.0 Building transformers-base-0.4.6 Completed colour-2.3.6 Starting ansi-terminal-types-1.1 Building ansi-terminal-types-1.1 Completed indexed-traversable-0.1.4 Completed os-string-2.0.6 Starting filepath-1.5.3.0 Completed th-abstraction-0.7.0.0 Building filepath-1.5.3.0 Completed contravariant-1.5.5 Completed prettyprinter-1.7.1 Completed transformers-base-0.4.6 Completed data-default-class-0.2.0.0 Completed distributive-0.6.2.1 Starting comonad-5.0.8 Completed ansi-terminal-types-1.1 Starting ansi-terminal-1.1.1 Building comonad-5.0.8 Building ansi-terminal-1.1.1 Completed random-1.2.1.2 Starting QuickCheck-2.15.0.1 Completed ansi-terminal-1.1.1 Starting prettyprinter-ansi-terminal-1.1.3 Building QuickCheck-2.15.0.1 Building prettyprinter-ansi-terminal-1.1.3 Completed filepath-1.5.3.0 Starting hashable-1.4.7.0 Building hashable-1.4.7.0 Completed comonad-5.0.8 Starting bifunctors-5.6.2 Building bifunctors-5.6.2 Completed prettyprinter-ansi-terminal-1.1.3 Completed hashable-1.4.7.0 Starting unordered-containers-0.2.20 Building unordered-containers-0.2.20 Completed bifunctors-5.6.2 Starting profunctors-5.6.2 Completed QuickCheck-2.15.0.1 Building profunctors-5.6.2 Completed unordered-containers-0.2.20 Starting semigroupoids-6.0.1 Building semigroupoids-6.0.1 Completed profunctors-5.6.2 Starting invariant-0.6.3 Building invariant-0.6.3 Completed semigroupoids-6.0.1 Starting free-5.2 Completed invariant-0.6.3 Building free-5.2 Completed free-5.2 Starting adjunctions-4.4.2 Building adjunctions-4.4.2 Completed adjunctions-4.4.2 Starting kan-extensions-5.2.6 Building kan-extensions-5.2.6 Completed kan-extensions-5.2.6 Starting pointed-5.0.5 Building pointed-5.0.5 Completed pointed-5.0.5 Downloading logic-TPTP-0.6.0.0 Downloaded logic-TPTP-0.6.0.0 Starting logic-TPTP-0.6.0.0 Building logic-TPTP-0.6.0.0 Completed logic-TPTP-0.6.0.0
Test log
[view raw]
Resolving dependencies...
Error:
Internal libraries only supported with per-component builds.
Per-component builds were disabled because program coverage is enabled
In the package 'happy-lib-2.1.3'