File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
mcu8051ide_1.4.9-1.debian.tar.xz8.4 KiB2018-May-08 16:22
mcu8051ide_1.4.9.orig.tar.gz5.7 MiB2018-May-08 16:22
mcu8051ide_1.4.9-1.dsc1.6 KiB2018-May-08 16:22
mcu8051ide_1.4.9-1_all.deb4.3 MiB2018-May-08 17:28
mcu8051ide_1.4.9-2.dsc1.6 KiB2020-Jul-08 19:51
mcu8051ide_1.4.9-2.debian.tar.xz9.1 KiB2020-Jul-08 19:51
mcu8051ide_1.4.9-2_all.deb3.4 MiB2020-Jul-08 20:16