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