../ maxima-5.2.tar.gz 15-Nov-1997 08:00 2468097 maxima-5.4.tgz.back-RSN.README 23-Oct-2003 16:57 17864 maxima-5.6.tgz.back-RSN.README 23-Oct-2003 16:57 17864