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

Filename	Modification time	Size
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