../ CVS/ 18-Dec-2024 08:56 - FAQ.html 06-Mar-2023 03:01 18411 Makefile.am 06-Mar-2023 03:01 1012 Makefile.in 06-Mar-2023 03:01 26246 README.dev 06-Mar-2023 03:01 84616 check-typography 06-Mar-2023 03:01 1503 fdl.texi 27-Sep-2020 03:01 21161 mini-gmp 06-Mar-2023 03:01 2743 mpfr.info 06-Mar-2023 03:01 283808 mpfr.texi 06-Mar-2023 03:01 232248 texinfo.tex 06-Mar-2023 03:01 377660