/patch-configure/1.2/Wed Oct 29 22:55:40 2008//
/patch-docs_users_guide_Makefile_in/1.3/Wed Oct 29 22:55:40 2008//
/patch-packages_network_Network_Socket_hsc/1.1/Wed Jul  7 19:37:39 2010//
D
