b5121d80032009f4134d00fcf4b51d8c  favorite-apps.patch
bb919d12c4a4d94d65f0f25babfc258a  gnome-menus3-new-api.patch
e9280405b9c0f7ff84c6cd8342b0e1b2  gnome-shell-3.1.4.tar.xz