Name Last modified Size Parent Directory - maxima-5.2.tar.gz 15-Nov-1997 00:00 2.4M maxima-5.4.tgz 30-Nov-1999 00:00 2.7M
![[DIR]](/icons/back.gif){kind=icon}
![[CMP]](/icons/compressed.gif){kind=icon}