Resolving dependencies...
Configuring microlens-0.4.8.3...
Building microlens-0.4.8.3...
Installed microlens-0.4.8.3