Index of /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
mpfr4_3.1.0-5.debian.tar.gz                        09-May-2012 06:02               27153
mpfr4_3.1.0-5.dsc                                  09-May-2012 06:02                1667
mpfr4_3.1.0.orig.tar.bz2                           04-Oct-2011 06:04             1203891