Index of /debian-ports/pool-x32/main/d/dctrl-tools

	Name	Last modified	Size	Description
	Parent Directory		-
	dctrl-tools-dbgsym_2.24-3_x32.deb	2018-09-27 12:03	179K
	dctrl-tools_2.24-3_x32.buildinfo	2018-09-27 12:03	5.4K
	dctrl-tools_2.24-3_x32.deb	2018-09-27 12:03	99K