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

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