| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| mcu8051ide_1.4.9.orig.tar.gz | 5.7 MiB | 2018-May-08 18:52 |
| mcu8051ide_1.4.9-2.dsc | 1.6 KiB | 2020-Jul-08 22:21 |
| mcu8051ide_1.4.9-2.debian.tar.xz | 9.1 KiB | 2020-Jul-08 22:21 |
| mcu8051ide_1.4.9-2_all.deb | 3.4 MiB | 2020-Jul-08 22:46 |