Index of /debian/pool/main/d/doschk

	Name	Last modified	Size	Description
	Parent Directory		-
	doschk_1.1-10+b1_amd64.deb	2023-10-17 19:49	10K
	doschk_1.1-10+b1_i386.deb	2023-10-17 19:49	10K
	doschk_1.1-11_amd64.deb	2025-11-29 15:45	9.1K
	doschk_1.1-11_i386.deb	2025-11-29 15:45	9.4K