Index of /debian-ports/pool-ppc64/main/m/mpfr4/

../
libmpfr-dev_4.2.1-1_ppc64.deb                      28-Aug-2023 12:03              298544
libmpfr6-dbgsym_4.2.1-1_ppc64.deb                  28-Aug-2023 12:03              659088
libmpfr6_4.2.1-1_ppc64.deb                         28-Aug-2023 12:03              691652
mpfr4_4.2.1-1_ppc64.buildinfo                      28-Aug-2023 12:03                6375