| Gestionnaire de fichiers - /usr/share/doc/libgmp10/ | |||||||||
|---|---|---|---|---|---|---|---|---|---|
|
|
|
||||||||
| Nom du fichier | Taille | La date | Permissions | Gestion | |||
|---|---|---|---|---|---|---|---|
| . | 2022-11-14 03:03:17 | ||||||
| .. | 2025-10-28 06:51:22 | ||||||
| README.Debian | 334 | 2020-11-15 18:04:37 | -rw-r--r-- | Supprimer | Renommer | Télécharger | Presser .tar.gz |
| changelog.Debian.gz | 14019 | 2021-11-23 20:37:19 | -rw-r--r-- | Supprimer | Renommer | Télécharger | |
| changelog.gz | 313047 | 2020-11-14 18:45:09 | -rw-r--r-- | Supprimer | Renommer | Télécharger | |
| copyright | 2019 | 2020-11-15 18:04:37 | -rw-r--r-- | Supprimer | Renommer | Télécharger | Presser .tar.gz |