| Gestionnaire de fichiers - /usr/share/doc/gmp-6.0.0/ | |||||||||
|---|---|---|---|---|---|---|---|---|---|
|
|
|
||||||||
| Nom du fichier | Taille | La date | Permissions | Gestion | |||
|---|---|---|---|---|---|---|---|
| . | 2024-07-10 15:52:42 | ||||||
| .. | 2024-11-01 19:32:34 | ||||||
| NEWS | 33430 | 2014-03-25 14:37:55 | -rw-r--r-- | Supprimer | Renommer | Télécharger | Presser .tar.gz |
| README | 4243 | 2014-03-25 14:37:55 | -rw-r--r-- | Supprimer | Renommer | Télécharger | Presser .tar.gz |