Resolving dependencies...
Starting     syb-0.7.2.2
Building     syb-0.7.2.2
Completed    syb-0.7.2.2
Downloading  haskell-src-1.0.4
Downloaded   haskell-src-1.0.4
Starting     haskell-src-1.0.4
Building     haskell-src-1.0.4
Completed    haskell-src-1.0.4
Downloading  free-theorems-0.3.2.1
Downloaded   free-theorems-0.3.2.1
Starting     free-theorems-0.3.2.1
Building     free-theorems-0.3.2.1
Completed    free-theorems-0.3.2.1