| File manager - /usr/share/doc/libgmp10/ | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
|||||||||
| Filename | Size | Date | Rights | Manage | |||
|---|---|---|---|---|---|---|---|
| . | 2024-09-27 08:36:36 | ||||||
| .. | 2025-12-11 06:01:58 | ||||||
| README.Debian | 334 | 2023-08-01 01:22:53 | -rw-r--r-- | Delete | Rename | Download | Compress .tar.gz |
| changelog.Debian.gz | 2675 | 2024-04-14 07:57:20 | -rw-r--r-- | Delete | Rename | Download | |
| copyright | 4153 | 2023-08-01 01:22:53 | -rw-r--r-- | Delete | Rename | Download | Compress .tar.gz |