| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| CVS/ | - | 2025-Jul-31 20:24 |
| FAQ.html | 18411 | 2023-Mar-06 00:08 |
| Makefile.am | 1012 | 2023-Mar-06 00:08 |
| Makefile.in | 26246 | 2023-Mar-06 00:08 |
| README.dev | 84882 | 2024-Jul-01 04:24 |
| check-typography | 1503 | 2023-Mar-06 00:08 |
| fdl.texi | 21161 | 2020-Sep-26 09:25 |
| mini-gmp | 2743 | 2023-Mar-06 00:08 |
| mpfr.info | 284508 | 2024-Jul-01 04:24 |
| mpfr.texi | 233003 | 2024-Jul-01 04:24 |
| texinfo.tex | 377660 | 2023-Mar-06 00:08 |