/patch-GNUmakefile_in/1.7/Sun Jul  7 17:17:15 2013//
/patch-config/1.8/Sun Jul  7 17:17:15 2013//
/patch-configure_in/1.6/Sun Jul  7 17:17:15 2013//
D
