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

 NameLast modifiedSizeDescription
 Parent Directory   -  
 mpfr/ 2022-06-30 17:57 -  
 NEWS 2012-07-03 10:01 16K 
 COPYING.LESSER 2012-07-03 10:01 7.5K 
 COPYING 2012-07-03 10:01 34K