../ libmpfr-dev_4.0.2-ok1_amd64.deb 17-May-2022 02:35 242088 libmpfr-dev_4.0.2-ok1_riscv64.deb 21-May-2022 00:35 645476 libmpfr-doc_4.0.2-ok1_all.deb 17-May-2022 02:35 646260 libmpfr6_4.0.2-ok1_amd64.deb 17-May-2022 02:35 239732 libmpfr6_4.0.2-ok1_riscv64.deb 21-May-2022 00:35 244512 mpfr4_4.0.2-ok1.debian.tar.xz 17-May-2022 02:05 5716 mpfr4_4.0.2-ok1.dsc 17-May-2022 02:05 1778 mpfr4_4.0.2.orig.tar.xz 17-May-2022 02:05 1441996