/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