Index of /debian-php/pool/main/m/mpfr4/


../
libmpfr-dev_4.0.2-1_amd64.deb                      31-Aug-2022 14:35              246180
libmpfr-dev_4.1.0-3_amd64.deb                      01-Sep-2022 17:26              252172
libmpfr-doc_4.0.2-1_all.deb                        31-Aug-2022 14:35             1181172
libmpfr-doc_4.1.0-3_all.deb                        01-Sep-2022 17:26             1274508
libmpfr6_4.0.2-1_amd64.deb                         31-Aug-2022 14:35              775120
libmpfr6_4.1.0-3_amd64.deb                         01-Sep-2022 17:26             2012488