| Gestionnaire de fichiers - /usr/share/doc/mpfr-3.1.1/ | |||||||||
|---|---|---|---|---|---|---|---|---|---|
|
|
|
||||||||
| Nom du fichier | Taille | La date | Permissions | Gestion | |||
|---|---|---|---|---|---|---|---|
| . | 2019-11-11 22:22:58 | ||||||
| .. | 2025-01-31 19:33:12 | ||||||
| mpfr | 2019-11-11 22:22:58 | drwxr-xr-x | Supprimer | Renommer | Presser zip | Presser .tar.gz | |
| COPYING | 35147 | 2012-07-03 15:01:25 | -rw-r--r-- | Supprimer | Renommer | Télécharger | Presser .tar.gz |
| COPYING.LESSER | 7639 | 2012-07-03 15:01:25 | -rw-r--r-- | Supprimer | Renommer | Télécharger | Presser .tar.gz |
| NEWS | 16180 | 2012-07-03 15:01:25 | -rw-r--r-- | Supprimer | Renommer | Télécharger | Presser .tar.gz |
| README | 3801 | 2012-07-03 15:01:19 | -rw-r--r-- | Supprimer | Renommer | Télécharger | Presser .tar.gz |