Index of /debian-ports/pool-x32/main/p/pumpa

	Name	Last modified	Size
	Parent Directory		-
	pumpa_0.9.3-1+b3_x32.buildinfo	2019-12-03 00:06	9.8K
	pumpa_0.9.3-1+b3_x32.deb	2019-12-03 00:06	315K
	pumpa-dbgsym_0.9.3-1+b3_x32.deb	2019-12-03 00:06	11M