Index of /non-gnu/maxima

	Name	Last modified	Size
	Parent Directory		-
	maxima-5.2.tar.gz	1997-11-15 07: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