/dev-embedded/mcu8051ide/files/

• ../
• mcu8051ide-1.4.10-appdata.patch
• mcu8051ide-1.4.10-cmake.patch
• mcu8051ide-1.4.10-desktop-file.patch