../ mcu8051ide-1.4.10-appdata.patch 28-Feb-2022 00:39 822 mcu8051ide-1.4.10-cmake.patch 28-Feb-2022 00:39 1175 mcu8051ide-1.4.10-desktop-file.patch 28-Feb-2022 00:39 696