debian/0001-gnome-version.patch
