../ maxima-5.2.tar.gz 14-Nov-1997 22:00 2468097 maxima-5.4.tgz.back-RSN.README 18-Dec-2011 10:40 22 maxima-5.6.tgz.back-RSN.README 18-Dec-2011 10:40 22