../ CVS/ 17-Dec-2022 20:35 - FAQ.html 26-Sep-2020 07:25 18K Makefile.am 26-Sep-2020 07:25 855 Makefile.in 26-Sep-2020 07:25 25K README.dev 26-Sep-2020 07:25 76K check-typography 26-Sep-2020 07:25 1496 fdl.texi 26-Sep-2020 07:25 21K mini-gmp 26-Sep-2020 07:25 2713 mpfr.info 26-Sep-2020 07:25 265K mpfr.texi 26-Sep-2020 07:25 212K texinfo.tex 26-Sep-2020 07:25 368K