Index of /distfiles/mpfr-4.0.1

      Name                                                                             Last modified      Size  
Parent Directory - .nfs.8dfbef23.3a3d4.4 2018-02-08 01:54 1.3M mpfr-4.0.1.tar.xz 2018-02-08 01:57 1.3M patch01 2018-05-02 07:46 10K patch02 2018-05-02 07:46 33K patch03 2018-05-02 07:46 8.7K patch04 2018-05-02 07:46 10K patch05 2018-05-02 07:46 5.1K patch06 2018-05-02 07:46 2.0K patch07 2018-07-11 03:12 3.7K patch08 2018-07-11 03:12 3.7K patch09 2018-07-11 03:12 14K patch10 2018-07-23 19:21 1.7K patch11 2018-07-23 19:21 4.2K patch12 2018-07-31 22:42 5.1K patch13 2018-07-31 22:42 4.0K