Name Last modified Size Parent Directory - maxima-5.2.tar.gz 1997-11-15 08:00 2.4M maxima-5.4.tgz.back-RSN.README 2003-10-23 17:57 17K maxima-5.6.tgz.back-RSN.README 2003-10-23 17:57 17K