Index of /ubuntu-installer/pool/main/m/mpfr4/

../
libmpfr-dev_4.0.1-1_amd64.deb                      02-Oct-2018 08:54              249476
libmpfr-doc_4.0.1-1_all.deb                        02-Oct-2018 08:54              644384
libmpfr6_4.0.1-1_amd64.deb                         02-Oct-2018 08:56              242588