| File manager - /usr/share/doc/mpfr-3.1.1/mpfr/ | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
|
|
||||||||||
| Filename | Size | Date | Rights | Manage | ||||
|---|---|---|---|---|---|---|---|---|
| . | 2021-02-17 15:04:23 | |||||||
| .. | 2021-02-17 15:04:23 | |||||||
| examples | 2021-02-17 15:04:23 | drwxr-xr-x | Delete | Rename | Compress zip | Compress .tar.gz | ||
| AUTHORS | 1149 | 2014-06-10 01:11:35 | -rw-r--r-- | Delete | Rename | Download | Compress .tar.gz | |
| BUGS | 3345 | 2014-06-10 01:11:35 | -rw-r--r-- | Delete | Rename | Download | Compress .tar.gz | |
| COPYING | 35147 | 2014-06-10 01:11:35 | -rw-r--r-- | Delete | Rename | Download | Compress .tar.gz | |
| COPYING.LESSER | 7639 | 2014-06-10 01:11:35 | -rw-r--r-- | Delete | Rename | Download | Compress .tar.gz | |
| FAQ.html | 18236 | 2014-06-10 01:11:34 | -rw-r--r-- | Delete | Rename | Download | Compress .tar.gz | |
| NEWS | 16180 | 2014-06-10 01:11:35 | -rw-r--r-- | Delete | Rename | Download | Compress .tar.gz | |
| TODO | 21158 | 2014-06-10 01:11:35 | -rw-r--r-- | Delete | Rename | Download | Compress .tar.gz | |