/fdl.texi/1.1.1.2/Sun Sep 27 03:01:40 2020// /FAQ.html/1.1.1.5/Mon Mar 6 03:01:13 2023// /Makefile.am/1.1.1.5/Mon Mar 6 03:01:13 2023// /Makefile.in/1.1.1.5/Mon Mar 6 03:01:13 2023// /check-typography/1.1.1.3/Mon Mar 6 03:01:13 2023// /mini-gmp/1.1.1.2/Mon Mar 6 03:01:13 2023// /texinfo.tex/1.1.1.5/Mon Mar 6 03:01:13 2023// /README.dev/1.1.1.4/Mon Jul 1 03:02:09 2024// /mpfr.info/1.1.1.6/Mon Jul 1 03:02:09 2024// /mpfr.texi/1.1.1.6/Mon Jul 1 03:02:09 2024// D