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