/patch-GNUmakefile_in/1.7/Thu Jun 13 08:47:46 2013//
/patch-config/1.8/Thu Jun 13 08:47:46 2013//
/patch-configure_in/1.6/Thu Jun 13 08:47:46 2013//
D
