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

 NameLast modifiedSizeDescription
 Parent Directory   -  
 COPYING 2019-01-07 18:17 34K 
 COPYING.LESSER 2019-01-07 18:17 7.5K