Resolving dependencies...
Starting     microlens-0.4.14.0
Starting     monadLib-3.10.3
Starting     th-abstraction-0.7.1.0
Starting     syb-0.7.2.4
Building     th-abstraction-0.7.1.0
Building     monadLib-3.10.3
Building     microlens-0.4.14.0
Building     syb-0.7.2.4
Completed    microlens-0.4.14.0
Completed    syb-0.7.2.4
Completed    monadLib-3.10.3
Completed    th-abstraction-0.7.1.0
Starting     microlens-th-0.4.3.17
Building     microlens-th-0.4.3.17
Completed    microlens-th-0.4.3.17
Starting     llvm-pretty-0.13.0.0
Building     llvm-pretty-0.13.0.0
Completed    llvm-pretty-0.13.0.0