| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| CVS/ | - | 2022-Dec-18 05:35 | |
| FAQ.html | 18224 | 2020-Sep-26 16:25 | |
| Makefile.am | 855 | 2020-Sep-26 16:25 | |
| Makefile.in | 25958 | 2020-Sep-26 16:25 | |
| README.dev | 77859 | 2020-Sep-26 16:25 | |
| check-typography | 1496 | 2020-Sep-26 16:25 | |
| fdl.texi | 21161 | 2020-Sep-26 16:25 | |
| mini-gmp | 2713 | 2020-Sep-26 16:25 | |
| mpfr.info | 271747 | 2020-Sep-26 16:25 | |
| mpfr.texi | 216914 | 2020-Sep-26 16:25 | |
| texinfo.tex | 376807 | 2020-Sep-26 16:25 | |