Index of /deb.debian.org/debian/pool/main/m/mpfr4/

../
libmpfr-dev_4.2.0-1_amd64.deb                      14-Jan-2023 18:25              259168
libmpfr-dev_4.2.0-1_arm64.deb                      14-Jan-2023 21:12              242328
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
libmpfr6_4.2.0-1_arm64.deb                         14-Jan-2023 21:12              600328