Index of /leia/pool/universe/m/maxima

	Name	Last modified	Size	Description
	Parent Directory		-
	maxima-doc_5.20.1-5u..>	2012-10-22 14:37	3.6M
	maxima_5.20.1-5ubunt..>	2012-10-22 14:37	9.1M
	maxima-share_5.20.1-..>	2012-10-22 14:37	4.0M
	maxima-emacs_5.20.1-..>	2012-10-22 14:37	121K