Build #1 for type-natural-1.1.0.0
| Package | type-natural-1.1.0.0 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2021-02-10 10:00:16.863132465 UTC |
|---|---|
| Compiler | ghc-8.10.2 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | base-4.14.1.0, constraints-0.12, equational-reasoning-0.7.0.0, ghc-8.10.2, ghc-typelits-knownnat-0.7.4, ghc-typelits-natnormalise-0.7.3, ghc-typelits-presburger-0.5.2.0, integer-logarithms-1.0.3.1, template-haskell-2.16.0.0 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies... Starting fail-4.9.0.0 Starting ghc-tcplugins-extra-0.4.1 Starting integer-logarithms-1.0.3.1 Starting hashable-1.3.0.0 Building fail-4.9.0.0 Building ghc-tcplugins-extra-0.4.1 Building integer-logarithms-1.0.3.1 Building hashable-1.3.0.0 Completed fail-4.9.0.0 Starting ordered-containers-0.2.2 Building ordered-containers-0.2.2 Completed integer-logarithms-1.0.3.1 Starting primitive-0.7.1.0 Building primitive-0.7.1.0 Completed ghc-tcplugins-extra-0.4.1 Starting reflection-2.1.6 Building reflection-2.1.6 Completed hashable-1.3.0.0 Starting safe-0.3.19 Building safe-0.3.19 Completed ordered-containers-0.2.2 Starting semigroups-0.19.1 Building semigroups-0.19.1 Completed semigroups-0.19.1 Starting syb-0.7.2.1 Building syb-0.7.2.1 Completed safe-0.3.19 Starting th-abstraction-0.4.2.0 Building th-abstraction-0.4.2.0 Completed reflection-2.1.6 Starting th-compat-0.1.1 Building th-compat-0.1.1 Completed syb-0.7.2.1 Starting transformers-compat-0.6.6 Building transformers-compat-0.6.6 Completed th-compat-0.1.1 Starting type-equality-1 Building type-equality-1 Completed type-equality-1 Starting void-0.7.3 Building void-0.7.3 Completed th-abstraction-0.4.2.0 Starting ghc-typelits-natnormalise-0.7.3 Building ghc-typelits-natnormalise-0.7.3 Completed void-0.7.3 Starting th-expand-syns-0.4.6.0 Completed transformers-compat-0.6.6 Starting ghc-typelits-presburger-0.5.2.0 Building th-expand-syns-0.4.6.0 Building ghc-typelits-presburger-0.5.2.0 Completed primitive-0.7.1.0 Starting th-lift-0.8.2 Building th-lift-0.8.2 Completed th-expand-syns-0.4.6.0 Starting constraints-0.12 Building constraints-0.12 Completed th-lift-0.8.2 Starting vector-0.12.2.0 Building vector-0.12.2.0 Completed ghc-typelits-natnormalise-0.7.3 Starting th-reify-many-0.1.9 Building th-reify-many-0.1.9 Completed th-reify-many-0.1.9 Starting ghc-typelits-knownnat-0.7.4 Completed ghc-typelits-presburger-0.5.2.0 Building ghc-typelits-knownnat-0.7.4 Completed constraints-0.12 Completed ghc-typelits-knownnat-0.7.4 Completed vector-0.12.2.0 Starting th-lift-instances-0.1.18 Building th-lift-instances-0.1.18 Completed th-lift-instances-0.1.18 Starting th-orphans-0.13.11 Building th-orphans-0.13.11 Completed th-orphans-0.13.11 Starting th-desugar-1.11 Building th-desugar-1.11 Completed th-desugar-1.11 Starting equational-reasoning-0.7.0.0 Building equational-reasoning-0.7.0.0 Completed equational-reasoning-0.7.0.0 Downloading type-natural-1.1.0.0 Downloaded type-natural-1.1.0.0 Starting type-natural-1.1.0.0 Building type-natural-1.1.0.0 Completed type-natural-1.1.0.0
Test log
No test log was submitted for this report.