Directory: /linux/debian/pool/main/m/mcu8051ide/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
mcu8051ide_1.4.9-2_all.deb3.4 MiB2020-Jul-08 20:16
mcu8051ide_1.4.9-1_all.deb4.3 MiB2018-May-08 17:28
mcu8051ide_1.4.9.orig.tar.gz5.7 MiB2018-May-08 16:22