/patch-maxima_spec_in/1.1/Wed Aug 20 20:36:45 2008//
/patch-configure/1.1/Mon Nov 14 20:48:43 2011//
/patch-share_Makefile_in/1.1/Mon Nov 14 20:48:43 2011//
/patch-src_Makefile_in/1.4/Tue Nov 15 04:34:40 2011//
D
