Resolving dependencies...
Configuring th-abstraction-0.2.8.0...
Building th-abstraction-0.2.8.0...
Installed th-abstraction-0.2.8.0
Configuring micro-recursion-schemes-5.0.2.2...
Building micro-recursion-schemes-5.0.2.2...
Installed micro-recursion-schemes-5.0.2.2
Downloading gmpint-0.1.1.1...
Configuring gmpint-0.1.1.1...
Building gmpint-0.1.1.1...
Installed gmpint-0.1.1.1