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

	Name	Last modified	Size	Description
	Parent Directory		-
	wxmaxima_16.04.2-1_amd64.deb	2016-05-13 02:42	2.5M
	wxmaxima_20.12.1-1_amd64.deb	2020-12-29 22:57	3.8M
	wxmaxima_19.01.2-1_amd64.deb	2019-01-28 04:25	4.1M