01_default_prefix.patch
02_kill_debian_menu.patch
04_fix-other.patch
08_settings-menus.patch
09_games-menu.patch
11_science-menu.patch
translate-Debian-directories.patch
libmenu-Use-GioUnix-2.0-to-introspect-the-header.patch
