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

../
libmpfr-dev_4.2.2-1_amd64.deb                      25-Mar-2025 20:05    262K
libmpfr-doc_4.2.2-1_all.deb                        25-Mar-2025 20:05   1015K
libmpfr6_4.2.2-1_amd64.deb                         25-Mar-2025 20:05    712K
mpfr4_4.2.2-1.debian.tar.xz                        25-Mar-2025 19:24     12K
mpfr4_4.2.2-1.dsc                                  25-Mar-2025 19:24    1960
mpfr4_4.2.2.orig.tar.xz                            25-Mar-2025 19:24      1M