Build #1 for ghc-typelits-presburger-0.6.2.0

[all reports]

Package ghc-typelits-presburger-0.6.2.0
Install InstallOk
Docs Ok
Tests Ok
Time submitted 2021-12-11 12:09:59.970991464 UTC
Compiler ghc-8.10.2
OS linux
Arch x86_64
Dependencies base-4.14.1.0, containers-0.6.2.1, ghc-8.10.2, ghc-tcplugins-extra-0.4.2, mtl-2.2.2, pretty-1.1.3.6, reflection-2.1.6, syb-0.7.2.1, transformers-0.5.6.2
Flags -examples

Code Coverage

expressions100% (0/0)
booleanguards100% (0/0)
conditions 100% (0/0)
qualifiers100% (0/0)
alternatives100% (0/0)
local declarations100% (0/0)
top-level declarations100% (0/0)

Build log

[view raw]

Resolving dependencies...
Starting     ghc-tcplugins-extra-0.4.2
Starting     reflection-2.1.6
Starting     syb-0.7.2.1
Building     reflection-2.1.6
Building     ghc-tcplugins-extra-0.4.2
Building     syb-0.7.2.1
Completed    ghc-tcplugins-extra-0.4.2
Completed    syb-0.7.2.1
Completed    reflection-2.1.6
Downloading  ghc-typelits-presburger-0.6.2.0
Downloaded   ghc-typelits-presburger-0.6.2.0
Starting     ghc-typelits-presburger-0.6.2.0
Building     ghc-typelits-presburger-0.6.2.0
Completed    ghc-typelits-presburger-0.6.2.0