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

Filename	Modification time	Size
mcu8051ide_1.4.9-1.debian.tar.xz	2018-05-08 17:22 CEST	8596 B
mcu8051ide_1.4.9-1.dsc	2018-05-08 17:22 CEST	1627 B
mcu8051ide_1.4.9-1_all.deb	2018-05-08 18:28 CEST	4438 KiB
mcu8051ide_1.4.9-2.debian.tar.xz	2020-07-08 20:51 CEST	9296 B
mcu8051ide_1.4.9-2.dsc	2020-07-08 20:51 CEST	1657 B
mcu8051ide_1.4.9-2_all.deb	2020-07-08 21:16 CEST	3507 KiB
mcu8051ide_1.4.9.orig.tar.gz	2018-05-08 17:22 CEST	5790 KiB