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