Index of /4.25/debian/pool/main/m/mpfr4/

../
libmpfr-dev_4.2.0-1_amd64.deb                      02-Aug-2023 18:43              259168
libmpfr-doc_4.2.0-1_all.deb                        02-Aug-2023 18:42             1045612
libmpfr6_4.0.2-1_amd64.deb                         12-Dec-2022 20:25              775120
libmpfr6_4.2.0-1_amd64.deb                         02-Aug-2023 18:43              700900