| File manager - /usr/share/doc/mpfr-3.1.1/ | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
||||||||||
| Filename | Size | Date | Rights | Manage | |||
|---|---|---|---|---|---|---|---|
| . | 2020-03-05 04:27:36 | ||||||
| .. | 2026-03-05 12:36:33 | ||||||
| mpfr | 2020-03-05 04:27:36 | drwxr-xr-x | Delete | Rename | Compress zip | Compress .tar.gz | |
| COPYING | 35147 | 2012-07-03 15:01:25 | -rw-r--r-- | Delete | Rename | Download | Compress .tar.gz |
| COPYING.LESSER | 7639 | 2012-07-03 15:01:25 | -rw-r--r-- | Delete | Rename | Download | Compress .tar.gz |
| NEWS | 16180 | 2012-07-03 15:01:25 | -rw-r--r-- | Delete | Rename | Download | Compress .tar.gz |
| README | 3801 | 2012-07-03 15:01:19 | -rw-r--r-- | Delete | Rename | Download | Compress .tar.gz |