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

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