On Wed, Feb 9, 2011 at 5:32 PM, Renato Budinich <rennabh at gmail.com> wrote: > > You're on Archlinux, right? pkgfile is your friend :) > > $ pkgfile gstreamer-properties > extra/gnome-media > extra/gnome-media-pulse > > renato > On debian/ubuntu you can do $ dpkg -S gstreamer-properties to answer such questions