/patch-check_check_matrices_cpp/1.2/Tue Mar 17 11:53:01 2009//
/patch-configure/1.5/Thu Aug 18 15:19:54 2011//
/patch-ginac_function_pl/1.2/Sun Oct 24 22:36:37 2010//
D
