| File manager - /usr/share/doc/gmp/ | |||||||||
|---|---|---|---|---|---|---|---|---|---|
|
|
|
||||||||
| Filename | Size | Date | Rights | Manage | |||
|---|---|---|---|---|---|---|---|
| . | 2024-09-03 16:41:18 | ||||||
| .. | 2025-05-21 06:55:52 | ||||||
| NEWS | 38714 | 2020-01-17 13:44:49 | -rw-r--r-- | Delete | Rename | Download | Compress .tar.gz |
| README | 4051 | 2020-01-17 13:44:49 | -rw-r--r-- | Delete | Rename | Download | Compress .tar.gz |