Resolving dependencies...
Starting     applicative-extras-0.1.8
Starting     call-stack-0.4.0
Starting     clock-0.8.4
Building     applicative-extras-0.1.8
Building     call-stack-0.4.0
Building     clock-0.8.4
Completed    call-stack-0.4.0
Starting     HUnit-1.6.2.0
Completed    applicative-extras-0.1.8
Building     HUnit-1.6.2.0
Completed    clock-0.8.4
Starting     extra-1.7.14
Building     extra-1.7.14
Completed    HUnit-1.6.2.0
Completed    extra-1.7.14
Downloading  atp-haskell-1.14.3
Downloaded   atp-haskell-1.14.3
Starting     atp-haskell-1.14.3
Building     atp-haskell-1.14.3
Completed    atp-haskell-1.14.3