Index of /mirror/archive.ubuntu.com/ubuntu/pool/main/m/mpfr4/

../
libmpfr-dev_4.0.1-1_amd64.deb                      07-Feb-2018 23:18              249476
libmpfr-dev_4.0.2-1_amd64.deb                      01-Feb-2019 13:18              240088
libmpfr-doc_4.0.1-1_all.deb                        07-Feb-2018 23:18              644384
libmpfr-doc_4.0.2-1_all.deb                        01-Feb-2019 13:18              646652
libmpfr6_4.0.1-1_amd64.deb                         07-Feb-2018 23:18              242588
libmpfr6_4.0.2-1_amd64.deb                         01-Feb-2019 13:18              240292