Index of /debian/10rc6/cd-3/pool/main/m/maxima

	Name	Last modified	Size	Description
	Parent Directory		-
	maxima-doc_5.42.1-1_all.deb	2018-11-02 15:08	6.2M
	maxima-share_5.42.1-1_all.deb	2018-11-02 15:08	8.6M
	maxima_5.42.1-1_amd64.deb	2018-11-02 15:08	6.4M