/patch-Makefile_in/1.2/Wed Jul 26 07:07:16 2006//
/patch-configure/1.2/Wed Jul 26 07:07:16 2006//
/patch-prelude-manager_conf_in/1.2/Wed Jul 26 07:07:16 2006//
D
