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

	Name	Last modified	Size	Description
	Parent Directory		-
	wxmaxima-doc_26.07.1+ds-4_all.deb	2026-07-30 10:37	13M