| File manager - /usr/share/doc/mpfr/ | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
|
|
||||||||||
| Filename | Size | Date | Rights | Manage | ||||
|---|---|---|---|---|---|---|---|---|
| . | 2024-08-19 17:42:41 | |||||||
| .. | 2026-05-28 19:40:03 | |||||||
| AUTHORS | 1149 | 2012-05-07 18:13:13 | -rw-r--r-- | Delete | Rename | Download | Compress .tar.gz | |
| BUGS | 3284 | 2017-01-01 01:39:09 | -rw-r--r-- | Delete | Rename | Download | Compress .tar.gz | |
| FAQ.html | 18166 | 2017-01-01 01:39:09 | -rw-r--r-- | Delete | Rename | Download | Compress .tar.gz | |
| NEWS | 17507 | 2017-08-02 11:21:33 | -rw-r--r-- | Delete | Rename | Download | Compress .tar.gz | |
| README | 3969 | 2017-01-01 01:39:09 | -rw-r--r-- | Delete | Rename | Download | Compress .tar.gz | |
| TODO | 21092 | 2017-01-01 01:39:09 | -rw-r--r-- | Delete | Rename | Download | Compress .tar.gz | |