| File manager - /usr/share/licenses/mpfr/ | |||||||||
|---|---|---|---|---|---|---|---|---|---|
|
|
|
||||||||
| Filename | Size | Date | Rights | Manage | |||
|---|---|---|---|---|---|---|---|
| . | 2023-06-15 00:08:52 | ||||||
| .. | 2026-05-06 08:53:59 | ||||||
| COPYING | 35147 | 2011-06-30 00:17:40 | -rw-r--r-- | Delete | Rename | Download | Compress .tar.gz |
| COPYING.LESSER | 7639 | 2011-06-30 00:17:40 | -rw-r--r-- | Delete | Rename | Download | Compress .tar.gz |