Index of /pub/GNU/gnu/non-gnu/maxima

Icon  Name                           Last modified      Size  
[PARENTDIR] 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
Apache/2.4.25 (Debian) Server at ftp.tecnico.ulisboa.pt Port 80