04_fix-other.patch
08_settings-menus.patch
09_games-menu.patch
11_science-menu.patch
translate-Debian-directories.patch
80_file_monitor_delayed.patch
ubuntu_gcc_translations.patch