/patch-libs_zziplib_zziplib-0.13.62_configure/1.1/Wed Oct 30 14:16:19 2013//
/patch-configure/1.1/Sat Nov  2 13:01:38 2013//
/patch-texk_web2c_configure/1.1/Sat Nov  2 13:01:38 2013//
D
