| Permissions | Size | Name |
|---|---|---|
| drwxr-xr-x | 35 |  .. |
| -rw-r--r-- | 18411 |  FAQ.html |
| -rw-r--r-- | 1012 | Makefile.am |
| -rw-r--r-- | 26246 | Makefile.in |
| -rw-r--r-- | 84882 | README.dev |
| -rwxr-xr-x | 1503 | check-typography |
| -rw-r--r-- | 21161 | fdl.texi |
| -rw-r--r-- | 2743 | mini-gmp |
| -rw-r--r-- | 284508 | mpfr.info |
| -rw-r--r-- | 233003 | mpfr.texi |
| -rw-r--r-- | 377660 | texinfo.tex |