| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| CVS/ | - | 2024-Jul-01 12:02 | |
| FAQ.html | 18411 | 2023-Mar-06 12:01 | |
| Makefile.am | 1012 | 2023-Mar-06 12:01 | |
| Makefile.in | 26246 | 2023-Mar-06 12:01 | |
| README.dev | 84882 | 2024-Jul-01 12:02 | |
| check-typography | 1503 | 2023-Mar-06 12:01 | |
| fdl.texi | 21161 | 2020-Sep-27 12:01 | |
| mini-gmp | 2743 | 2023-Mar-06 12:01 | |
| mpfr.info | 284508 | 2024-Jul-01 12:02 | |
| mpfr.texi | 233003 | 2024-Jul-01 12:02 | |
| texinfo.tex | 377660 | 2023-Mar-06 12:01 | |