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

 NameLast modifiedSizeDescription
 Parent Directory   -  
 changelog.Debian.gz 2022-01-17 05:56 1.1K 
 copyright 2021-11-15 16:24 2.0K