Index of pub/pkgsrc-archive/distfiles/2013Q3/mpfr-3.1.1/

Name	Last modified	Size
Parent Directory	21-Aug-2022 21:39	729kB
mpfr-3.1.1.tar.bz2	03-Jul-2012 23:06	1191kB
patch01	30-Aug-2012 11:37	8kB
patch02	30-Aug-2012 11:37	6kB