Index of /ubuntu/pool/main/d/devtodo

	Name	Last modified	Size	Description
	Parent Directory		-
	devtodo_0.1.20+git20200830.0ad52b0-1_amd64.deb	2022-03-29 17:18	117K
	devtodo_0.1.20-6ubuntu3_amd64.deb	2018-04-12 12:37	114K
	devtodo_0.1.20-6ubuntu3_i386.deb	2018-04-12 12:35	121K