../ libmpfr-dev_4.0.2-1_armhf.deb 22-Jul-2020 16:51 205460 libmpfr-doc_4.0.2-1_all.deb 22-Jul-2020 14:31 1181172 libmpfr6_4.0.2-1_armhf.deb 22-Jul-2020 14:55 722632