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

../
libmpfr-dev_4.2.1-1_ppc64.deb                                                                                            28-Aug-2023 12:03    292K
libmpfr6-dbgsym_4.2.1-1_ppc64.deb                                                                                        28-Aug-2023 12:03    644K
libmpfr6_4.2.1-1_ppc64.deb                                                                                               28-Aug-2023 12:03    675K
mpfr4_4.2.1-1_ppc64.buildinfo                                                                                            28-Aug-2023 12:03    6375