| File manager - /usr/share/doc/libgmp10/ | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
|||||||||
| Filename | Size | Date | Rights | Manage | |||
|---|---|---|---|---|---|---|---|
| . | 2023-05-02 00:00:00 | ||||||
| .. | 2025-04-22 18:20:53 | ||||||
| README.Debian | 334 | 2020-11-15 18:04:37 | -rw-r--r-- | Delete | Rename | Download | Compress .tar.gz |
| changelog.Debian.gz | 14019 | 2021-11-23 20:37:19 | -rw-r--r-- | Delete | Rename | Download | |
| changelog.gz | 313047 | 2020-11-14 18:45:09 | -rw-r--r-- | Delete | Rename | Download | |
| copyright | 2019 | 2020-11-15 18:04:37 | -rw-r--r-- | Delete | Rename | Download | Compress .tar.gz |