| File manager - /usr/share/doc/gmp/ | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
|
|
||||||||||
| Filename | Size | Date | Rights | Manage | ||||
|---|---|---|---|---|---|---|---|---|
| . | 2024-08-19 17:42:40 | |||||||
| .. | 2026-05-28 19:40:03 | |||||||
| NEWS | 36740 | 2016-12-16 15:45:27 | -rw-r--r-- | Delete | Rename | Download | Compress .tar.gz | |
| README | 4051 | 2016-12-16 15:45:27 | -rw-r--r-- | Delete | Rename | Download | Compress .tar.gz | |