Resolving dependencies... Configuring microlens-0.4.7.0... Building microlens-0.4.7.0... Installed microlens-0.4.7.0 Downloading microlens-th-0.4.1.1... Configuring microlens-th-0.4.1.1... Building microlens-th-0.4.1.1... Installed microlens-th-0.4.1.1