Resolving dependencies...
Starting     ghc-paths-0.1.0.12
Building     ghc-paths-0.1.0.12
Completed    ghc-paths-0.1.0.12
Downloading  ghc-check-0.4.0.0
Downloaded   ghc-check-0.4.0.0
Starting     ghc-check-0.4.0.0
Building     ghc-check-0.4.0.0
Completed    ghc-check-0.4.0.0