| File manager - /usr/share/doc/mpfr/ | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
|
|
||||||||||
| Filename | Size | Date | Rights | Manage | |||
|---|---|---|---|---|---|---|---|
| . | 2024-09-03 16:41:19 | ||||||
| .. | 2025-12-09 02:23:30 | ||||||
| BUGS | 3335 | 2020-01-08 18:11:13 | -rw-r--r-- | Delete | Rename | Download | Compress .tar.gz |
| NEWS | 24982 | 2020-07-01 13:59:32 | -rw-r--r-- | Delete | Rename | Download | Compress .tar.gz |
| PATCHES | 157 | 2022-02-10 11:26:26 | -rw-r--r-- | Delete | Rename | Download | Compress .tar.gz |
| README | 4346 | 2020-06-12 17:55:05 | -rw-r--r-- | Delete | Rename | Download | Compress .tar.gz |