/gnome-extra/gpointing-device-settings/files/
../
gpointing-device-settings-1.5.1-crash.patch
gpointing-device-settings-1.5.1-gtk22.patch
gpointing-device-settings-1.5.1-plugin.patch
gpointing-device-settings-1.5.1-reboot.patch