Name Last modified Size
Parent Directory - mcu8051ide_1.4.7-1.debian.tar.gz 2013-04-30 01:33 4.9K mcu8051ide_1.4.7-1.dsc 2013-04-30 01:33 1.7K mcu8051ide_1.4.7-1_all.deb 2013-04-30 01:33 4.7M mcu8051ide_1.4.7-2.debian.tar.gz 2014-05-05 07:18 5.6K mcu8051ide_1.4.7-2.dsc 2014-05-05 07:18 1.7K mcu8051ide_1.4.7-2_all.deb 2014-05-05 07:28 4.1M mcu8051ide_1.4.7.orig.tar.gz 2013-04-30 01:33 5.2M mcu8051ide_1.4.9-1.debian.tar.xz 2018-05-09 01:27 8.4K mcu8051ide_1.4.9-1.dsc 2018-05-09 01:27 1.6K mcu8051ide_1.4.9-1_all.deb 2018-05-09 02:27 4.5M mcu8051ide_1.4.9-2.debian.tar.xz 2020-07-09 01:23 9.1K mcu8051ide_1.4.9-2.dsc 2020-07-09 01:23 1.6K mcu8051ide_1.4.9-2_all.deb 2020-07-09 01:24 3.3M mcu8051ide_1.4.9.orig.tar.gz 2018-05-09 01:27 5.7M
This mirror is brought to you by HR-Tech and Heiko Richter