Index of /debian/pool/main/d/devtodo

	Name	Last modified	Size
	Parent Directory		-
	devtodo_0.1.20-6.1.dsc	19-Oct-2016 14:14	1.9K
	devtodo_0.1.20-7.dsc	20-Jul-2019 01:28	1.9K
	devtodo_0.1.20-7.debian.tar.xz	20-Jul-2019 01:28	17K
	devtodo_0.1.20-6.1.debian.tar.xz	19-Oct-2016 14:14	17K
	devtodo_0.1.20-6.1+b1_amd64.deb	15-May-2018 08:58	125K
	devtodo_0.1.20-7_amd64.deb	20-Jul-2019 01:58	126K
	devtodo_0.1.20-6.1_amd64.deb	19-Oct-2016 14:44	127K
	devtodo_0.1.20-6.1+b1_i386.deb	15-May-2018 08:53	134K
	devtodo_0.1.20-7_i386.deb	20-Jul-2019 01:58	135K
	devtodo_0.1.20-6.1_i386.deb	19-Oct-2016 14:44	139K
	devtodo_0.1.20.orig.tar.gz	12-Jan-2008 00:17	382K