../ libmpfr-dev_4.2.0-1_amd64.deb 14-Jan-2023 18:25 259168 libmpfr-doc_4.2.0-1_all.deb 14-Jan-2023 18:10 1045612 libmpfr6_4.2.0-1_amd64.deb 14-Jan-2023 18:25 700900 mpfr4_4.2.0-1.debian.tar.xz 14-Jan-2023 17:34 12488 mpfr4_4.2.0-1.dsc 14-Jan-2023 17:34 1959 mpfr4_4.2.0.orig.tar.xz 14-Jan-2023 10:13 1477532