vlc-plugin-pulse 1.1.12-3 (armhf binary) in ubuntu precise

 This plugin adds support for PulseAudio to the VLC media player. To
 activate the audio output module, use the `--aout pulse' flag or
 select the `pulse' audio output plugin from the preferences menu.
 .
 VLC is the VideoLAN project's media player. It plays MPEG, MPEG-2, MPEG-4,
 DivX, MOV, WMV, QuickTime, WebM, FLAC, MP3, Ogg/Vorbis files, DVDs, VCDs,
 podcasts, and multimedia streams from various network sources.