Index of /home/000~ROOT~000/usr/share/doc/mpfr

 NameLast modifiedSizeDescription
 Parent Directory   -  
 AUTHORS 2012-05-07 11:13 1.1K 
 BUGS 2016-12-31 17:39 3.2K 
 FAQ.html 2016-12-31 17:39 18K 
 NEWS 2017-08-02 04:21 17K 
 TODO 2016-12-31 17:39 21K