Build #1 for type-natural-1.1.0.1
| Package | type-natural-1.1.0.1 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2021-12-11 10:08:45.042064473 UTC |
|---|---|
| Compiler | ghc-8.10.2 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | base-4.14.1.0, constraints-0.13.2, equational-reasoning-0.7.0.1, ghc-8.10.2, ghc-typelits-knownnat-0.7.6, ghc-typelits-natnormalise-0.7.6, ghc-typelits-presburger-0.6.1.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 integer-logarithms-1.0.3.1 Starting ghc-tcplugins-extra-0.4.2 Starting ordered-containers-0.2.2 Starting base-orphans-0.8.6 Building integer-logarithms-1.0.3.1 Building ordered-containers-0.2.2 Building ghc-tcplugins-extra-0.4.2 Building base-orphans-0.8.6 Completed integer-logarithms-1.0.3.1 Starting primitive-0.7.3.0 Building primitive-0.7.3.0 Completed ghc-tcplugins-extra-0.4.2 Starting reflection-2.1.6 Building reflection-2.1.6 Completed ordered-containers-0.2.2 Starting safe-0.3.19 Building safe-0.3.19 Completed base-orphans-0.8.6 Starting syb-0.7.2.1 Building syb-0.7.2.1 Completed safe-0.3.19 Starting th-abstraction-0.4.3.0 Building th-abstraction-0.4.3.0 Completed reflection-2.1.6 Starting th-compat-0.1.3 Building th-compat-0.1.3 Completed syb-0.7.2.1 Starting transformers-compat-0.7.1 Building transformers-compat-0.7.1 Completed th-compat-0.1.3 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.3.0 Starting ghc-typelits-natnormalise-0.7.6 Building ghc-typelits-natnormalise-0.7.6 Completed transformers-compat-0.7.1 Starting hashable-1.4.0.1 Completed void-0.7.3 Downloading ghc-typelits-presburger-0.6.1.0 Downloaded ghc-typelits-presburger-0.6.1.0 Starting ghc-typelits-presburger-0.6.1.0 Building hashable-1.4.0.1 Building ghc-typelits-presburger-0.6.1.0 Completed primitive-0.7.3.0 Starting th-lift-0.8.2 Building th-lift-0.8.2 Completed th-lift-0.8.2 Starting th-expand-syns-0.4.9.0 Building th-expand-syns-0.4.9.0 Completed hashable-1.4.0.1 Starting vector-0.12.3.1 Building vector-0.12.3.1 Completed th-expand-syns-0.4.9.0 Starting constraints-0.13.2 Completed ghc-typelits-natnormalise-0.7.6 Starting th-reify-many-0.1.10 Building constraints-0.13.2 Building th-reify-many-0.1.10 Completed th-reify-many-0.1.10 Starting ghc-typelits-knownnat-0.7.6 Building ghc-typelits-knownnat-0.7.6 Completed ghc-typelits-presburger-0.6.1.0 Completed constraints-0.13.2 Completed ghc-typelits-knownnat-0.7.6 Completed vector-0.12.3.1 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.12 Building th-orphans-0.13.12 Completed th-orphans-0.13.12 Downloading th-desugar-1.13 Downloaded th-desugar-1.13 Starting th-desugar-1.13 Building th-desugar-1.13 Completed th-desugar-1.13 Downloading equational-reasoning-0.7.0.1 Downloaded equational-reasoning-0.7.0.1 Starting equational-reasoning-0.7.0.1 Building equational-reasoning-0.7.0.1 Completed equational-reasoning-0.7.0.1 Downloading type-natural-1.1.0.1 Downloaded type-natural-1.1.0.1 Starting type-natural-1.1.0.1 Building type-natural-1.1.0.1 Completed type-natural-1.1.0.1
Test log
No test log was submitted for this report.