../ libmpfr-dev_4.2.0-1_riscv64.deb 14-Jul-2023 14:46 676824 libmpfr-doc_4.2.0-1_all.deb 10-Apr-2023 11:15 1045612 libmpfr6-dbgsym_4.2.0-1_riscv64.deb 14-Jul-2023 14:46 723532 libmpfr6_4.2.0-1_riscv64.deb 14-Jul-2023 14:46 634368 mpfr4_4.2.0-1.debian.tar.xz 14-Jul-2023 14:46 12500 mpfr4_4.2.0-1.dsc 14-Jul-2023 14:46 1051 mpfr4_4.2.0.orig.tar.xz 14-Jul-2023 14:46 1477532