Resolving dependencies...
Starting     ghc-tcplugins-extra-0.4.5
Building     ghc-tcplugins-extra-0.4.5
Completed    ghc-tcplugins-extra-0.4.5
Starting     ghc-typelits-natnormalise-0.7.9
Building     ghc-typelits-natnormalise-0.7.9
Completed    ghc-typelits-natnormalise-0.7.9
Starting     ghc-typelits-knownnat-0.7.9
Building     ghc-typelits-knownnat-0.7.9
Completed    ghc-typelits-knownnat-0.7.9
Downloading  ghc-typelits-extra-0.4.6
Downloaded   ghc-typelits-extra-0.4.6
Starting     ghc-typelits-extra-0.4.6
Building     ghc-typelits-extra-0.4.6
Completed    ghc-typelits-extra-0.4.6