| Gestionnaire de fichiers - /usr/share/doc/gmp/ | |||||||||
|---|---|---|---|---|---|---|---|---|---|
|
|
|
||||||||
| Nom du fichier | Taille | La date | Permissions | Gestion | |||
|---|---|---|---|---|---|---|---|
| . | 2025-05-02 16:52:27 | ||||||
| .. | 2026-02-07 00:45:34 | ||||||
| NEWS | 36740 | 2016-12-16 15:45:27 | -rw-r--r-- | Supprimer | Renommer | Télécharger | Presser .tar.gz |
| README | 4051 | 2016-12-16 15:45:27 | -rw-r--r-- | Supprimer | Renommer | Télécharger | Presser .tar.gz |