Index of /debian-archive/debian-amd64/pool/main/m/mpfr

[ICO]NameLast modifiedSize

[PARENTDIR]Parent Directory  -
[TXT]mpfr_2.1.1-5.dsc2005-05-01 19:50 668
[   ]mpfr_2.1.1-5.diff.gz2005-05-01 19:50 6.5K
[   ]libmpfr-dev_2.1.1-5_amd64.deb2005-05-01 19:50 224K
[   ]mpfr_2.1.1.orig.tar.gz2005-04-30 17:34 603K

Apache Server at archive.debian.org Port 80