/patch-etc_gnugk_ini/1.2/Sat Mar 12 08:17:17 2022//
/patch-configure/1.33/Sat Nov  8 18:18:46 2025//
D
