Index of /gnu/non-gnu/maxima

	Name	Last modified	Size	Description

	Parent Directory		-
	maxima-5.2.tar.gz	14-Nov-1997 23:00	2.4M

Apache/2.2.14 (Ubuntu) Server at mirrors.sunsite.dk Port 80