Resolving dependencies...
Downloading  MicroHs-0.8.5.0
Downloaded   MicroHs-0.8.5.0
Starting     MicroHs-0.8.5.0
Building     MicroHs-0.8.5.0
Completed    MicroHs-0.8.5.0