../ CVS/ 31-Jul-2025 18:24 - FAQ.html 05-Mar-2023 22:08 18K Makefile.am 05-Mar-2023 22:08 1012 Makefile.in 05-Mar-2023 22:08 26K README.dev 01-Jul-2024 02:24 83K check-typography 05-Mar-2023 22:08 1503 fdl.texi 26-Sep-2020 07:25 21K mini-gmp 05-Mar-2023 22:08 2743 mpfr.info 01-Jul-2024 02:24 278K mpfr.texi 01-Jul-2024 02:24 228K texinfo.tex 05-Mar-2023 22:08 369K