Index of /ubuntu/pool/universe/d/devtodo

	Name	Last modified	Size	Description
	Parent Directory		-
	devtodo_0.1.20+git20200830.0ad52b0-1_amd64.deb	2021-01-06 23:45	117K
	devtodo_0.1.20+git20200830.0ad52b0-3_amd64.deb	2023-06-12 18:02	108K
	devtodo_0.1.20-7build1_amd64.deb	2020-03-22 17:00	115K