File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
mcu8051ide_1.4.9.orig.tar.gz5.7 MiB2018-May-09 00:22
mcu8051ide_1.4.9-2.debian.tar.xz9.1 KiB2020-Jul-09 03:51
mcu8051ide_1.4.9-2.dsc1.6 KiB2020-Jul-09 03:51
mcu8051ide_1.4.9-2_all.deb3.4 MiB2020-Jul-09 04:16