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

../
lib32mpfr-dev_3.1.0-5_amd64.deb                    09-May-2012 06:02              574842
lib32mpfr4_3.1.0-5_amd64.deb                       09-May-2012 06:02              535356
libmpfr-dev_3.1.0-5_amd64.deb                      09-May-2012 06:02              602144
libmpfr-doc_3.1.0-5_all.deb                        09-May-2012 06:02              924460
libmpfr4-dbg_3.1.0-5_amd64.deb                     09-May-2012 06:02             1096156
libmpfr4_3.1.0-5_amd64.deb                         09-May-2012 06:02              538158