../ libmpfr-dev_4.2.0-1_riscv64.deb 20-Jun-2026 21:00 595244 libmpfr-doc_4.2.0-1_all.deb 16-May-2024 01:17 1045612 libmpfr6-dbgsym_4.2.0-1_riscv64.deb 20-Jun-2026 21:00 699184 libmpfr6_4.2.0-1_riscv64.deb 20-Jun-2026 21:00 616344 mpfr4_4.2.0-1.debian.tar.xz 08-May-2024 15:39 12488 mpfr4_4.2.0-1.dsc 08-May-2024 15:39 1959 mpfr4_4.2.0-1_riscv64.buildinfo 20-Jun-2026 21:00 5728 mpfr4_4.2.0.orig.tar.xz 08-May-2024 15:39 1477532