File Name ↓ | File Size ↓ | Date ↓ | |
---|---|---|---|
Parent directory/ | - | - | |
mcu8051ide_1.4.9.orig.tar.gz | 5.7 MiB | 2018-May-08 15:22 | |
mcu8051ide_1.4.9-1_all.deb | 4.3 MiB | 2018-May-08 16:28 | |
mcu8051ide_1.4.9-1.debian.tar.xz | 8.4 KiB | 2018-May-08 15:22 | |
mcu8051ide_1.4.9-1.dsc | 1.6 KiB | 2018-May-08 15:22 |