../ mcu8051ide-1.4.10-appdata.patch 18-May-2024 13:30 822 mcu8051ide-1.4.10-cmake.patch 18-May-2024 13:30 1175 mcu8051ide-1.4.10-desktop-file.patch 18-May-2024 13:30 696