Index of /debian-ports/pool-x32/main/t/tinymux

	Name	Last modified	Size
	Parent Directory		-
	tinymux_2.12.0.10-1_x32.buildinfo	2022-07-27 18:03	5.7K
	tinymux_2.12.0.10-1_x32.deb	2022-07-27 18:03	676K
	tinymux-dbgsym_2.12.0.10-1_x32.deb	2022-07-27 18:03	1.7M