| File manager - /usr/share/licenses/mpfr/ | |||||||||
|---|---|---|---|---|---|---|---|---|---|
|
|
|
||||||||
| Filename | Size | Date | Rights | Manage | |||
|---|---|---|---|---|---|---|---|
| . | 2025-05-22 08:36:38 | ||||||
| .. | 2025-12-15 15:04:14 | ||||||
| COPYING | 35149 | 2019-01-07 15:17:11 | -rw-r--r-- | Delete | Rename | Download | Compress .tar.gz |
| COPYING.LESSER | 7652 | 2019-01-07 15:17:11 | -rw-r--r-- | Delete | Rename | Download | Compress .tar.gz |