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

[ICO]NameLast modifiedSizeDescription

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