Resolving dependencies...
Configuring hmpfr-0.4.0...
Building hmpfr-0.4.0...
Installed hmpfr-0.4.0