Index of /debian-ports/pool/main/w/wxmaxima

	Name	Last modified	Size	Description
	Parent Directory		-
	wxmaxima-doc_26.07.1+ds-6_all.deb	2026-07-31 21:36	13M