Name	Size	Date
/
mcu8051ide_1.4.9-2.debian.tar.xz	9,296	Wed, 08 Jul 2020 18:51:17 +0000
mcu8051ide_1.4.9-2.dsc	1,657	Wed, 08 Jul 2020 18:51:17 +0000
mcu8051ide_1.4.9-2_all.deb	3,590,676	Wed, 08 Jul 2020 19:16:36 +0000
mcu8051ide_1.4.9.orig.tar.gz	5,928,637	Tue, 08 May 2018 15:22:47 +0000