../ libmpfr-dev_4.1.0-3_amd64.deb 13-Jul-2020 18:29 252172 libmpfr-doc_4.1.0-3_all.deb 13-Jul-2020 18:19 1274508 libmpfr6_4.1.0-3_amd64.deb 13-Jul-2020 18:29 2012488