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

	Name	Last modified	Size	Description
	Parent Directory		-
	maxima-5.2.tar.gz	15-Nov-1997 02:00	2.4M