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