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