Resolving dependencies...
Starting     ghc-tcplugins-extra-0.4.2
Building     ghc-tcplugins-extra-0.4.2
Completed    ghc-tcplugins-extra-0.4.2
Downloading  ghc-corroborate-1.0.0
Downloaded   ghc-corroborate-1.0.0
Starting     ghc-corroborate-1.0.0
Building     ghc-corroborate-1.0.0
Completed    ghc-corroborate-1.0.0