(setf (get :maxima :version) (quote ( 5 5 "Sun May 6 01:05:36 CDT 2001" )))