/patch-maxima_spec_in/1.1/Wed Aug 20 20:36:45 2008//
/patch-configure/1.3/Tue Jun 16 07:42:13 2015//
D
