| File manager - /usr/share/doc/gmp/ | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
|||||||||
| Filename | Size | Date | Rights | Manage | |||
|---|---|---|---|---|---|---|---|
| . | 2024-06-01 17:03:24 | ||||||
| .. | 2026-03-02 17:02:28 | ||||||
| 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 |