/patch-doc_makefile_in/1.5/Thu Sep  6 07:14:47 2018//
/patch-configure/1.10/Sun Feb 10 18:15:51 2019//
/patch-gsc_makefile_in/1.1/Thu Dec 16 21:44:38 2021//
D
