/patch-Makefile_in/1.5/Sat Feb  1 15:29:25 2020//
/patch-doc_make_1/1.1/Sat Feb  1 15:29:25 2020//
/patch-doc_make_texi/1.5/Sat Jun 25 19:47:11 2016//
/patch-src_makeint_h/1.1/Sat Feb  1 15:29:25 2020//
/patch-tests_scripts_features_archives/1.3/Sat Feb  1 15:29:25 2020//
D
