Index of /debian/pool/main/m/mcu8051ide

	Name	Last modified	Size
	Parent Directory		-
	mcu8051ide_1.3.7-1.debian.tar.gz	2010-08-01 11:02	5.2K
	mcu8051ide_1.3.7-1.dsc	2010-08-01 11:02	1.6K
	mcu8051ide_1.3.7-1_all.deb	2010-08-01 11:02	1.4M
	mcu8051ide_1.3.7.orig.tar.gz	2010-08-01 11:02	1.3M
	mcu8051ide_1.4.7-2.debian.tar.gz	2014-05-04 23:28	5.6K
	mcu8051ide_1.4.7-2.dsc	2014-05-04 23:28	1.7K
	mcu8051ide_1.4.7-2_all.deb	2014-05-04 23:28	3.9M
	mcu8051ide_1.4.7.orig.tar.gz	2013-04-29 19:33	5.2M
	mcu8051ide_1.4.9-1.debian.tar.xz	2018-05-08 15:22	8.4K
	mcu8051ide_1.4.9-1.dsc	2018-05-08 15:22	1.6K
	mcu8051ide_1.4.9-1_all.deb	2018-05-08 16:28	4.3M
	mcu8051ide_1.4.9.orig.tar.gz	2018-05-08 15:22	5.7M