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

 NameLast modifiedSizeDescription
 Parent Directory   -  
 mpfr/ 2023-08-30 12:13 -  
 NEWS 2012-07-03 11:01 16K 
 COPYING.LESSER 2012-07-03 11:01 7.5K 
 COPYING 2012-07-03 11:01 34K