100644 blob 8ab5386dc1432821623aa1e9529b7c3b13f5a4b7	7_6.diff
100644 blob 03b357263f61ede771393ea7fda77ab8d5b3469c	fix-menu-generation.patch
100644 blob 3fcc319164e9c95632f8957a861329bdefc9c946	port-gnome-menus3.patch