../ libmpfr-dev_4.2.1-1_x32.deb 28-Aug-2023 12:03 258K libmpfr6-dbgsym_4.2.1-1_x32.deb 28-Aug-2023 12:03 609K libmpfr6_4.2.1-1_x32.deb 28-Aug-2023 12:03 699K mpfr4_4.2.1-1_x32.buildinfo 28-Aug-2023 12:03 6357