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