Index of /docker/overlay2/6a0d54db083b03994eb6d332969267691d10fdb10e7623162a64ce60e021b852/merged/usr/share/doc/mpfr/

../
AUTHORS                                            08-May-2012 02:13                1149
BUGS                                               01-Jan-2017 09:39                3284
FAQ.html                                           01-Jan-2017 09:39               18166
NEWS                                               02-Aug-2017 19:21               17507
README                                             01-Jan-2017 09:39                3969
TODO                                               01-Jan-2017 09:39               21092