/patch-check_check_matrices_cpp/1.2/Tue Apr 21 00:15:03 2009//
/patch-ginac_function_pl/1.2/Mon Nov 29 21:08:00 2010//
/patch-configure/1.5/Tue Nov 15 04:34:36 2011//
D
