| File manager - /usr/share/doc/mpfr/ | |||||||||
|---|---|---|---|---|---|---|---|---|---|
|
|
|
||||||||
| Filename | Size | Date | Rights | Manage | |||
|---|---|---|---|---|---|---|---|
| . | 2026-05-26 17:52:15 | ||||||
| .. | 2026-06-23 06:01:52 | ||||||
| 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 | 2026-04-04 22:53:41 | -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 |