Resolving dependencies...
Configuring th-abstraction-0.2.6.0...
Building th-abstraction-0.2.6.0...
Installed th-abstraction-0.2.6.0
Configuring micro-recursion-schemes-5.0.2.1...
Building micro-recursion-schemes-5.0.2.1...
Installed micro-recursion-schemes-5.0.2.1
Configuring gmpint-0.1.0.10...
Building gmpint-0.1.0.10...
Installed gmpint-0.1.0.10