| File manager - /usr/share/doc/libgmp10/ | |||||||||
|---|---|---|---|---|---|---|---|---|---|
|
|
|
||||||||
| Filename | Size | Date | Rights | Manage | |||
|---|---|---|---|---|---|---|---|
| . | 2023-08-28 22:11:21 | ||||||
| .. | 2025-12-16 06:49:41 | ||||||
| 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 |