../ libmpfr-dev_4.0.2-1_amd64.deb 26-Jul-2019 09:56 246180 libmpfr-doc_4.0.2-1_all.deb 26-Jul-2019 09:53 1181172 libmpfr6_4.0.2-1_amd64.deb 26-Jul-2019 09:52 775120