Index of /pkgsrc/distfiles/mpfr-3.1.2/


../
patch01                                            09-Oct-2013 22:00                1652
patch02                                            09-Oct-2013 22:00               18656
patch03                                            09-Oct-2013 22:00                4614
patch04                                            14-Nov-2013 23:00                3456
patch05                                            30-Nov-2013 23:00                1760
patch06                                            15-Apr-2014 22:00                1577
patch07                                            15-Apr-2014 22:00                2640
patch08                                            15-Apr-2014 22:00               10512
patch09                                            30-Jun-2014 17:17                5798
patch10                                            30-Jun-2014 17:17                4012
patch11                                            04-Dec-2014 09:03                2057