Index of /ftp.sk.debian.org/debian/pool/main/d/devtodo

	Name	Last modified	Size	Description
	Parent Directory		-
	devtodo_0.1.20-6.1+b1_amd64.deb	2018-05-15 09:58	125K
	devtodo_0.1.20+git20200830.0ad52b0-2_amd64.deb	2022-11-10 19:57	125K
	devtodo_0.1.20+git20200830.0ad52b0-1_amd64.deb	2021-01-06 20:26	130K