/patch-doc_makefile_in/1.5/Wed Sep  5 23:34:11 2018//
/patch-configure/1.10/Sun Feb 10 18:17:57 2019//
D
