Resolving dependencies...
Starting     microlens-0.4.13.1
Starting     dlist-1.0
Starting     old-locale-1.0.0.7
Starting     data-default-class-0.1.2.0
Starting     th-abstraction-0.4.5.0
Building     microlens-0.4.13.1
Building     dlist-1.0
Building     old-locale-1.0.0.7
Building     data-default-class-0.1.2.0
Building     th-abstraction-0.4.5.0
Completed    old-locale-1.0.0.7
Completed    data-default-class-0.1.2.0
Starting     data-default-instances-old-locale-0.0.1
Starting     data-default-instances-containers-0.0.1
Building     data-default-instances-containers-0.0.1
Building     data-default-instances-old-locale-0.0.1
Completed    microlens-0.4.13.1
Completed    dlist-1.0
Starting     data-default-instances-dlist-0.0.1
Building     data-default-instances-dlist-0.0.1
Completed    data-default-instances-old-locale-0.0.1
Completed    data-default-instances-containers-0.0.1
Completed    th-abstraction-0.4.5.0
Starting     microlens-th-0.4.3.12
Building     microlens-th-0.4.3.12
Completed    data-default-instances-dlist-0.0.1
Starting     data-default-0.7.1.1
Building     data-default-0.7.1.1
Completed    data-default-0.7.1.1
Completed    microlens-th-0.4.3.12
Downloading  lima-0.2.1.2
Downloaded   lima-0.2.1.2
Starting     lima-0.2.1.2
Building     lima-0.2.1.2
Completed    lima-0.2.1.2