| Permissions | Size | Name |
|---|---|---|
| drwxr-xr-x | 71 |  .. |
| -rw-r--r-- | 1235 |  Makefile.am |
| -rw-r--r-- | 27251 | Makefile.in |
| -rw-r--r-- | 13256 | configuration |
| -rw-r--r-- | 23559 | fdl-1.3.texi |
| -rw-r--r-- | 5932 | gmp.info |
| -rw-r--r-- | 300383 | gmp.info-1 |
| -rw-r--r-- | 223745 | gmp.info-2 |
| -rw-r--r-- | 456047 | gmp.texi |
| -rw-r--r-- | 4945 | isa_abi_headache |
| -rwxr-xr-x | 6047 | mdate-sh |
| -rw-r--r-- | 23528 | projects.html |
| -rw-r--r-- | 93 | stamp-vti |
| -rw-r--r-- | 51799 | tasks.html |
| -rw-r--r-- | 323102 | texinfo.tex |
| -rw-r--r-- | 93 | version.texi |