Resolving dependencies...
Downloading microlens-0.3.5.1...
Configuring microlens-0.3.5.1...
Building microlens-0.3.5.1...
Installed microlens-0.3.5.1