Resolving dependencies...
Downloading gmpint-0.1.1.2...
Configuring gmpint-0.1.1.2...
Building gmpint-0.1.1.2...
Installed gmpint-0.1.1.2