| File manager - /usr/share/doc/libgmp10/ | |||||||||
|---|---|---|---|---|---|---|---|---|---|
|
|
|
||||||||
| Filename | Size | Date | Rights | Manage | |||
|---|---|---|---|---|---|---|---|
| . | 2024-10-04 02:17:40 | ||||||
| .. | 2026-07-03 09:08:46 | ||||||
| README.Debian | 334 | 2020-11-15 18:04:37 | -rw-r--r-- | Delete | Rename | Download | Compress .tar.gz |
| changelog.Debian.gz | 1116 | 2022-01-17 10:56:45 | -rw-r--r-- | Delete | Rename | Download | |
| copyright | 2019 | 2021-11-15 21:24:19 | -rw-r--r-- | Delete | Rename | Download | Compress .tar.gz |