../ libmpfr-dev_2.4.1-1ubuntu1_i386.deb 07-Jun-2017 00:37 439902 libmpfr-doc_2.4.1-1ubuntu1_all.deb 07-Jun-2017 00:37 645882 libmpfr1ldbl_2.4.1-1ubuntu1_i386.deb 07-Jun-2017 00:37 411106