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

../
mcu8051ide_1.4.9-1.debian.tar.xz                   08-May-2018 15:22                8596
mcu8051ide_1.4.9-1.dsc                             08-May-2018 15:22                1627
mcu8051ide_1.4.9-1_all.deb                         08-May-2018 16:28             4544560
mcu8051ide_1.4.9.orig.tar.gz                       08-May-2018 15:22             5928637