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