/patch-docs_gnugk_1/1.7/Sat Feb 16 03:19:14 2013//
/patch-configure/1.13/Sun Jul  7 17:03:16 2013//
D
