Как обновить pulseaudio

У меня проблемы со звуком, иногда он зависает и не синхронизируется с изображением. VLC дает мне ошибку, и там говорится, что я должен обновить до pulseaudio 3.0. Я использую Ubuntu 12.10, а

$ pulseaudio --version
pulseaudio 2.1

Должен ли я обновить? И если да, то как?

Вы можете установить pulseaudio 2.0 из ubuntu-audio-devppa:

sudo add-apt-repository ppa:ubuntu-audio-dev
sudo apt-get update
sudo apt-get upgrade

С обновлением до 13.04 Pullaudio обновился до версии 3.0 и проблемы исчезли.