Index of /debian-ports/pool-sh4/main/m/mpfr/

../
libmpfr-dev_2.4.2-3_sh4.deb                                                                                              11-Dec-2009 14:46    450K
libmpfr1ldbl_2.4.2-3_sh4.deb                                                                                             11-Dec-2009 14:46    429K